Lecture 3 | A survey of automated theorem proving | John Harrison | Лекториум
942
34.9
Лекториум194 тыс
Следующее
05.11.13 – 9421:41:18Популярные
Опубликовано 5 ноября 2013, 21:00
Lecture 3 | Курс: A survey of automated theorem proving | Лектор: John Harrison | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/14807
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/14807
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
1 день – 3 25834:19
2 дня – 5554:56
3 дня – 6472:36
Случайные видео
75 дней – 1031:00:47
298 дней – 6 7770:49
11.10.22 – 9 19112:27
16.01.21 – 56 2372:12:11
22 часа – 5 59946:41
12 часов – 6821:00
4 дня – 2 3451:04:29
6 дней – 1 439 0120:16
