Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Satisfiability in Gödel Logics
01.07.2014 - 31.12.2017
Forschungsförderungsprojekt
Personen
Projektleiter_in
Matthias Baaz
(E104)
Institut
E104 - Institute of Discrete Mathematics and Geometry
Grant funds
FWF - Österr. Wissenschaftsfonds (National)
Stand-Alone Project
Austrian Science Fund (FWF)
Forschungsschwerpunkte
Beyond TUW-research focus: 100%
Publikationen
Publikationsliste