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