Prof. Dr. David Alexander Loeffler
(Professor University of Warwick - Coventry)
Prof. Dr. David Alexander Loeffler
Dozent am Departement Mathematik
Zusätzliche Informationen
Vorlesungsverzeichnis
Frühjahrssemester 2025
| Nummer | Veranstaltung |
|---|---|
| 401-3040-73L | Computer Formalisation of Proofs |