https://www.inb.uni-luebeck.de/mitarbeiter/mitarbeiter/professoren/hans-g-danielmeyer.html

Keine Beschreibung vorhanden.

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 …