Lecture 2 | A survey of automated theorem proving | John Harrison | Лекториум
1 854
26.9
Лекториум193 тыс
Следующее
05.11.13 – 9401:09:06Популярные
22 дня – 2 7683:35
21 день – 1319:28Опубликовано 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
Свежие видео
2 дня – 1 4390:41
4 дня – 69 33634:50
5 дней – 27 3001:00
Случайные видео
1 день – 2 5600:59
1 день – 3 0861:35:56
1 день – 93 92644:42
2 дня – 26 3581:30:42
5 дней – 3465:24
5 дней – 8 64534:59
6 дней – 14 6192:16:51
