Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA

4,689 Просмотров

Ссылки и html тэги не поддерживаются


Комментарии:


Andrej Bauer - Formalizing invisible mathematics - IPAM at UCLA Institute for Pure & Applied Mathematics (IPAM)