Mathematisches Kolloquium

23.05.2018 14:00
 

Computer Verification and Math

Thomas Hales (University of Pittsburgh)

23.05.2018 15:00
 

Verleihung der Goldenen Doktordiplome