Lecture 2 | A survey of automated theorem proving | John Harrison | Лекториум
1 852
26.8
Лекториум193 тыс
Следующее
05.11.13 – 9361:09:06Популярные
42 дня – 5410:32
243 дня – 1 13814:32Опубликовано 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
Свежие видео
6 дней – 4 5102:39:30
7 дней – 9080:08
9 дней – 11224:49
9 дней – 83 65850:51
10 дней – 5316:19
10 дней – 39 5543:22Случайные видео
311 дней – 18 50120:26
311 дней – 8070:56
16.06.23 – 2 2930:11
30.12.20 – 8 8545:38
25.02.20 – 49 33521:35
1 день – 2953:15
3 дня – 88 56541:37
4 дня – 4905:49
5 дней – 3 9900:53
8 дней – 10 9722:35
9 дней – 31 8901:41:43
9 дней – 42 85022:39