Lecture 2 | A survey of automated theorem proving | John Harrison | Лекториум
1 856
26.9
Лекториум194 тыс
Следующее
05.11.13 – 9421:09:06Популярные
Опубликовано 5 ноября 2013, 21:00
Lecture 2 | Курс: A survey of automated theorem proving | Лектор: John Harrison | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/14806
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/14806
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
13 часов – 10 81324:35
17 часов – 2 6980:43
1 день – 45 0491:28:27
1 день – 9 91325:14
1 день – 10:41
Случайные видео
192 дня – 4 6750:57
285 дней – 1 3720:56
302 дня – 80557:16
11.11.21 – 76 03932:00
26.05.20 – 5 2891:35:36
16 часов – 15 4770:52
2 дня – 1 3861:16:27
5 дней – 50 9161:40:23
7 дней – 1 1250:58
9 дней – 244 13325:19
12 дней – 5 59416:33
