Prof. Dr. David Alexander Loeffler

(Professor University of Warwick - Coventry)

Dozent

ETH Zürich

Rämistrasse 101

8092 Zürich

Schweiz

Zusätzliche Informationen

Nummer	Veranstaltung
401-3040-73L	Computer Formalisation of Proofs