2 Ergebnisse für: exptime
-
Das Zwei-Personen-Spiel Phutball
http://leechuck.de/phutball/doku/node4.html
Das Zwei-Personen-Spiel Phutball
-
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 …