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