BLOG: Heidelberg Laureate Forum

Du kannst der Diskussion zum Thema Automatizing proofs from Aristotle to the 21st century auch folgen, ohne bisher selbst etwas geschrieben zu haben. Krass, was? Hierzu einfach Deine E-Mail-Adresse in das dafür vorgesehene Feld eintragen.