3 Ergebnisse für: temporalized
-
DSI - datatabase of scientific illustrators 1450-1950
http://www.uni-stuttgart.de/hi/gnt/dsi/
Keine Beschreibung vorhanden.
-
DSI - datatabase of scientific illustrators 1450-1950
http://www.uni-stuttgart.de/hi/gnt/dsi2/index.php?function=show_static_page&id_static_page=1&table_name=dsi
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 …