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
 
Status
CLOSED