Neue Konzepte formaler Beweise und Beweisdarstellung

01.02.2020 - 31.01.2023
Forschungsförderungsprojekt

Personen

Projektleiter_in

Institut

Förderungsmittel

  • Fonds zur Förderung der wissenschaftlichen Forschung (FWF) (National) Internationale Programme Fonds zur Förderung der wissenschaftlichen Forschung (FWF) Fördergeber Typ Forschungsförderungsinstitutionen Ausschreibungskennung I 4427-N

Forschungsschwerpunkte

  • Außerhalb der TUW-Forschungsschwerpunkte

Externe Partner_innen

  • Moscow State University