Entwicklungszentrum für spekulative Logik


Hier kann der Text der Auslobung im pdf-Format heruntergeladen werden: "Auslobung"

- GESCHLOSSEN - Der Preis wurde Dr. Dieter Probst von der Universität Bern, Schweiz, zuerkannt für seine Arbeit "A consistency proof of LiDλZ".

zurück zu Projekte