Computational Aspects of Constructive and Probability Logic


Project Acronym Projekt Kurzbezeichnung
complog
 
Project Title (de) Projekttitel (de)
Computational Aspects of Constructive and Probability Logic
 
Consortium Coordinator Koordinator des Konsortiums
 
Principal Investigator Projektleiter_in