Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Personenprofil
Univ.Ass. Dipl.-Ing.in
Eva Maria Wagner
BSc
Telefon
E-Mail
eva.maria.wagner@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)
Logik und Beweistheorie
Logic
Formale Methoden
Formal Methods
Automatisches Beweisen
Automated Deduction
Automatisches Beweisen
Automated theorem proving
Automated Reasoning
Automated Reasoning
Computationale Logik
Computational Logic