Prof. Dr.-Ing. Franz BaaderPerson
Person
- Seniorprofessor für Automatentheorie- Seniorprofessor:in
- Fakultät Mathematik- Zugewähltes Mitglied der Fakultät
Zugehörigkeiten
Forschungsgebiete
Logik in der Informatik, Automatisches Theorembeweisen, Termersetzung, Unifikation, Wissensrepräsentation, Beschreibungslogik, Automatentheorie
Identifizierungsnummern
| ORCID | 
0000-0002-4049-221X |
|---|---|
| Scopus Autor ID | 26643645200 |