2 Ergebnisse für: subsumers
-
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 …
-
Alumni — TU Dresden — TU Dresden
https://tu-dresden.de/tu-dresden/profil/freunde-foerderer/foerdervereine/vfs/ghp_alumni
Alumni-Netzwerk der Georg-Helm-Preisträger Die Preisträger des Georg-Helm-Preises bilden ein Netzwerk ausgezeichneter Nachwuchsforscher und Wissenschaftler, die sich aus allen an der TU Dresden …