Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
Struktur und Ausdrucksstärke: Die mathematischen Grundlagen des induktiven Schließens
01.04.2013 - 31.03.2021
Forschungsförderungsprojekt
Personen
Projektleiter_in
Stefan Hetzl
(E104-02)
Institut
E104-02 - Forschungsbereich Computational Logic
Förderungmittel
WWTF Wiener Wissenschafts-, Forschu und Technologiefonds (National)
Wiener Wissenschafts-, Forschungs- und Technologiefonds (WWTF)
Ausschreibungskennung VRG Mathematik 2012
Forschungsschwerpunkte
Computer Science Foundations: 100%
Publikationen
Publikationsliste