Найти в Дзене
Войти
1,0×
Lecture 2 | A survey of automated theorem proving | John Harrison | Лекториум
12 лет назад
00:00
/
01:20:42
Лекториум
1097 подписчиков
Подписаться
Хотите видеть больше публикаций по теме «Образование»?
Давайте
Образование
4,84 млн интересуются
Следить за темой
1422654770.1784.1751172527814.69396