Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Personenprofil
Projektass. Dipl.-Ing.
Axel Polaczek
BSc BSc PhD
Telefon
E-Mail
axel.polaczek@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)
Formale Methoden
Formal Methods
Automatisches Schließen
Automated Reasoning
Computationale Logik
Computational Logic