Bitte warten...
Bitte warten...
English
Hilfe
Login
Forschungsportal
Portal
Suche
Forschungsprofile
Forschungsprojekte
Projektvollmacht
Lehre
Forschung
Organisation
New Concepts of Formal Proof and Proof Representations
01.02.2020 - 30.09.2023
Forschungsförderungsprojekt
Personen
Projektleiter_in
Matthias Baaz
(E104-02)
Institut
E104-02 - Research Unit of Computational Logic
Grant funds
FWF - Österr. Wissenschaftsfonds (National)
Programm Joint Projects
International Programmes
Austrian Science Fund (FWF)
Call identifier I 4427-N
Forschungsschwerpunkte
Beyond TUW-research focus: 100%
Externe Partner_innen
Moscow State University
Publikationen
Publikationsliste