Type Systems and Proof Assistant - Vladimir Voevodsky

Игра Марио

Просмотров: 1 | Время: 01:06:02 | Голосов: +1 +1 | Скачать

Скачать клип Type Systems and Proof Assistant - Vladimir Voevodsky