New Concepts of Formal Proof and Proof Representations

01.02.2020 - 30.09.2023
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

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