Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Algorithmen, Strukturierung und Kompression von Beweisen
01.02.2013 - 31.01.2018
Forschungsförderungsprojekt
Personen
Projektleiter_in
Stefan Hetzl
(E104)
Institut
E104 - Institut für Diskrete Mathematik und Geometrie
Förderungmittel
FWF - Österr. Wissenschaftsfonds (National)
Einzelprojekt
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Forschungsschwerpunkte
Computer Science Foundations: 100%
Publikationen
Publikationsliste