Lecture 4 | A survey of automated theorem proving | John Harrison | Лекториум
940
18.4
Лекториум193 тыс
Следующее
06.11.13 – 1251:46:16Популярные
7 дней – 8712:11
7 дней – 4211:28Опубликовано 5 ноября 2013, 21:00
Lecture 4 | Курс: A survey of automated theorem proving | Лектор: John Harrison | Организатор: Computer Science клуб при ПОМИ РАН
Смотрите это видео на Лекториуме: lektorium.tv/lecture/14808
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Смотрите это видео на Лекториуме: lektorium.tv/lecture/14808
Подписывайтесь на канал: lektorium.tv/ZJA
Следите за новостями:
vk.com/openlektorium
facebook.com/openlektorium
Свежие видео
2 дня – 24 4203:21
3 дня – 14 1470:52
5 дней – 6751:17:53
8 дней – 49 5991:18:08
8 дней – 11 30647:42Случайные видео
57 дней – 582:42
295 дней – 174 15114:00
300 дней – 8 20658:00
306 дней – 5 4575:15
29.09.23 – 88 2040:59
24.11.16 – 5601:03:25
15 часов – 7 57715:38
4 дня – 6 21457:10
7 дней – 8255:01
8 дней – 4670:39
9 дней – 496 1201:00
11 дней – 5 3120:58