Klausurdetails für Interactive Theorem Proving
- Titel
- Interactive Theorem Proving
- Datum Anfang
- 2024-07-25
- Uhrzeit Anfang
- 16:00
- Uhrzeit Ende
- 19:00
- Raum
- Theresienstr. 39 B 138
- Status
- Fertig
- Letzte Aktualisierung
- 2024-03-20
Zurück zur Klausurliste
(verlängerte Klausurliste)