Neue Konzepte formaler Beweise und Beweisdarstellung


Project Acronym Projekt Kurzbezeichnung
New Formal Proof
 
Project Title (de) Projekttitel (de)
Neue Konzepte formaler Beweise und Beweisdarstellung
 
Project Title (en) Projekttitel (en)
New Concepts of Formal Proof and Proof Representations
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in
 
Abstract Zusammenfassung
,,,,,,,
 
Funder/Funding Agency Fördergeber
Fonds zur Förderung der wissenschaftlichen Forschung (FWF)
Grant number Förderkennnummer
I 4427-N