2 Ergebnisse für: tboxes
-
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 …
-
Prof. Dr. Steffen Staab | Institute WeST
http://west.uni-koblenz.de/de/ueber-uns/team/prof-dr-steffen-staab
Kurzlebenslauf