A survey of automated theorem proving. Lecture 1 Лекция Хит Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:John Harrison Курс лекций: A survey of automated theorem proving Дата записи:28.09.13 Дата публикации:28.09.13 <a href="https://www.youtube.com/embed/Nydg-N83VYc?wmode=opaque">Embedded video for A survey of automated theorem proving. Lecture 1</a> Код для блога: 9914 Другие лекции курса3 A survey of automated theorem proving. Lecture 2 Computer Science клуб при ПОМИ РАН John Harrison 2823 A survey of automated theorem proving. Lecture 3 Computer Science клуб при ПОМИ РАН John Harrison 3300 A survey of automated theorem proving. Lecture 4 Computer Science клуб при ПОМИ РАН John Harrison 3299