Перейти к содержанию
Лекториум
/
Медиатека
Онлайн-курсы
Медиатека
Предметы и тематики
Школьникам
Очное обучение
Спецпредложения
Поиск
Поиск по медиатеке
Найти
Личный кабинет
Темы
Авторы
Организаторы
Курсы лекций
John Harrison
Сотрудник Intel Corporation.
Сайт
cl.cam.ac.uk
01
Курсы лекций
1
A survey of automated theorem proving
4 лекции · John Harrison