Seminar: 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: Fr 13-15 Uhr
- Ort: Zoom Meeting https://cs-uni-saarland-de.zoom.us/j/93844384802
- Weitere Fragen richten Sie bitte per Mail an Herrn Bartholdi