2 Ergebnisse für: aboxes
-
Arbeitsberichte aus dem Fachbereich Informatik — Universität Koblenz · Landau
https://www.uni-koblenz-landau.de/de/koblenz/fb4/publikationen/reports/
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 …