Neue Konzepte formaler Beweise und Beweisdarstellung

01.02.2020 - 30.09.2023
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • FWF - Österr. Wissenschaftsfonds (National) Programm Joint Projects Internationale Programme Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Ausschreibungskennung I 4427-N

Forschungsschwerpunkte

  • Außerhalb der TUW-Forschungsschwerpunkte

Externe Partner_innen

  • Moscow State University