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