Prof. Dr. David Alexander Loeffler
(Professor University of Warwick - Coventry)
Prof. Dr. David Alexander Loeffler
Lecturer at the Department of Mathematics
Additional information
Course Catalogue
Spring Semester 2025
| Number | Unit |
|---|---|
| 401-3040-73L | Computer Formalisation of Proofs |