Signin

Lecture 1 | A survey of automated theorem proving | John Harrison | Лекториум

Лекториум • September 30, 2014

Video Thumbnail

You May Also Like

Лекториум

About

No channel description available.

Latest Posts

Video Thumbnail

Лекция 1 | Архитектура ЭВМ и основы ОС | Кирилл Кринкин | CSC | Лекториум

Лекториум

Video Thumbnail

Lecture 1 | A survey of automated theorem proving | John Harrison | Лекториум

Лекториум

Video Thumbnail

Самая необычная планета | Андрей Журавлев

Лекториум

Video Thumbnail

Индийская цивилизация | Алексей Машевский | Лекториум

Лекториум