Найти в Дзене
Войти
1,0×
Lecture 3 | A survey of automated theorem proving | John Harrison | Лекториум
4 просмотра · 12 лет назад
00:00
/
01:09:05
Лекториум
1277 подписчиков
Подписаться
563360539.969.1777267271890.84407