Найти в Дзене
Войти
1,0×
Lecture 4 | A survey of automated theorem proving | John Harrison | Лекториум
2 просмотра · 13 лет назад
00:00
/
01:41:17
Лекториум
1303 подписчиков
Подписаться
2090570624.1020.1784969351679.49959