Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Personenprofil
Projektass. Dipl.-Ing.
Lucas Gugler
BSc
Telefon
E-Mail
lucas.gugler@tuwien.ac.at
Zugeordnet
E192-04
Forschungsbereich Formal Methods in Systems Engineering
Visitenkarte
Zugehörigkeit
Keywords
Forschungsbereich
Name
Leitung/Mitglied
Forschungsbereich Formal Methods in Systems Engineering
Mitglied
Schlagwörter
Schlagwort (Deutsch)
Schlagwort (Englisch)
Automated Reasoning
Automated Reasoning
Computationale Logik
Computational Logic
Formale Methoden
Formal Methods
Artificial Intelligence
Artificial intelligence