Volume 24, Issue 1, April 2010

Automated Deduction

ISSN: 0933-1875 (Print) 1610-1987 (Online)

In this issue (16 articles)

  1. No Access

    Dissertationen und Habilitationen

    Differential Dynamic Logics

    André Platzer Pages 75-77
  2. No Access

    KI-Markt

    iQser GIN Plattform

    Jörg Wurzer Pages 83-86
  3. No Access

    Community

    News

    Pages 87-91