Nonclassical Proofs: Theory, Applications and Tools


Project Acronym Projekt Kurzbezeichnung
NCProofs
 
Project Title (de) Projekttitel (de)
Nonclassical Proofs: Theory, Applications and Tools
 
Consortium Coordinator Koordinator des Konsortiums
Principal Investigator Projektleiter_in
 
Status
CLOSED