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 …