• 

  Franz Baader — Professur für Automatentheorie — TU Dresden

  http://lat.inf.tu-dresden.de/~baader/

  Informationen zur Lehre  Forschungsthemen  Wissensrepräsentation (insbesondere Beschreibungslogik und Modallogik)  Automatisches Beweisen (inbesondere Termersetzung und …

• 

  Deduktionssysteme

  http://www.dfki.de/~hjb/Deduktionssysteme/

  Keine Beschreibung vorhanden.

• 

  Liste der Forschungsbereiche - RWTH AACHEN UNIVERSITY Fachgruppe Informatik - Deutsch

  http://www.informatik.rwth-aachen.de/cms/Informatik/Forschung/Forschungsbereiche/~mrys/Liste-der-Forschungsbereiche/

  Keine Beschreibung vorhanden.

---

---