Klausurdetails für Interactive Theorem Proving
- Titel
- Interactive Theorem Proving
- Datum Anfang
- 2025-07-29
- Uhrzeit Anfang
- 15:00
- Uhrzeit Ende
- 18:00
- Raum
- Oettingenstr. 67 B 001
- Status
- Fertig
- Letzte Aktualisierung
- 2025-06-06
Zurück zur Klausurliste
(verlängerte Klausurliste)