Proseminar: Computer-Assisted proofs
Dozent:

Prof. Dr. Laurent Bartholdi
 Büro: 4.25, Gebäude E24
 Fon: 0681-302-3227
 Sekretariat: 0681-302-3430
 Fax: 0681-302-2789
E-Mail
Informationen zur Veranstaltung
- Creditpoints: Je nach Prüfungsordnung
 - Zeit: Mi 14-16
 - Ort: siehe Website der Veranstaltung
 - Erstes Treffen: 26.10.22
 - Website