Klausurdetails für Interactive Theorem Proving
- Titel
- Interactive Theorem Proving
- Datum Anfang
- 2024-10-09
- Uhrzeit Anfang
- 10:00
- Uhrzeit Ende
- 13:00
- Raum
- Richard-Wagner-Str. 10 D 105
- Status
- Fertig
- Letzte Aktualisierung
- 2024-07-23
Zurück zur Klausurliste
(verlängerte Klausurliste)