Theorie Kolloquium | October 30, 14:00
The Science and Sociology of Mechanizing Mathematics
TBA
UoC
0.03
join online
Contact: Urban Seifert