2 Ergebnisse für: borgida
-
congolog - Google-Suche
http://books.google.de/books?um=1&q=congolog&btnG=Nach+B%C3%BCchern+suchen
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 …