Lecture 4 | A survey of automated theorem proving | John Harrison | Лекториум
942
18.5
Лекториум194 тыс
Следующее
06.11.13 – 1261:46:16Популярные
24 дня – 8610:25
27 дней – 359:57Опубликовано 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
Свежие видео
21 час – 27 9141:12:08
1 день – 2 79623:19
6 дней – 23 2085:21
6 дней – 9901:28:40
8 дней – 2 86524:48Случайные видео
37 дней – 7911:24:48
239 дней – 71 2085:30
267 дней – 34 36710:31
09.02.23 – 201 3510:52
09.03.22 – 1 1661:23
03.06.19 – 2 3518:12
9 часов – 2 5170:48
4 дня – 8 30455:46
6 дней – 2 36229:18
7 дней – 5 2191:00
8 дней – 1 6491:00
8 дней – 52 8310:51
11 дней – 37 7361:48