Lecture 3 | A survey of automated theorem proving | John Harrison | Лекториум
943
34.9
Лекториум193 тыс
Следующее
05.11.13 – 9401:41:18Популярные
10 дней – 1445:56
7 дней – 3510:08Опубликовано 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
Свежие видео
10 часов – 720:57
2 дня – 10846:18
3 дня – 45 31025:52
7 дней – 24 4547:10
Случайные видео
158 дней – 2 2630:52
325 дней – 3351:27:38
28.09.23 – 6 4280:56
13.04.23 – 6353:37
27.03.21 – 217 45652:45
10 часов – 1 1701:00
21 час – 5691:01
6 дней – 1051:29
6 дней – 7 6282:30:38
8 дней – 3 45319:21
9 дней – 496 1201:00
9 дней – 8 6840:47