Please wait...
Please wait...
Deutsch
Help
Login
Research Portal
Portal
Search
Research Profile
Research Projects
Project authority
Lehre
Forschung
Organisation
Person profile
Projektass. Dipl.-Ing.
Axel Polaczek
BSc BSc PhD
Phone
E-Mail
axel.polaczek@tuwien.ac.at
Assigned
E192-04
Research Unit of Formal Methods in Systems Engineering
Business Card
Affiliations
Keywords
Research area
Name
Management/Member
Research Unit of Formal Methods in Systems Engineering
Member
Keywords
Keyword (German)
Keyword (English)
Formale Methoden
Formal Methods
Automatisches Schließen
Automated Reasoning
Computationale Logik
Computational Logic