3 Ergebnisse für: ijcar
-
Homepage of Christoph Benzmueller
http://page.mi.fu-berlin.de/cbenzmueller/
Keine Beschreibung vorhanden.
-
Category:Artificial intelligence – Wikimedia Commons
https://commons.wikimedia.org/wiki/Category:Artificial_intelligence?uselang=de
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 …