A survey of automated theorem proving. Lecture 2 Лекция Партнёр: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/iPFJY0aW4E4?wmode=opaque">Embedded video for A survey of automated theorem proving. Lecture 2</a> Код для блога: 2823 Другие лекции курса3 A survey of automated theorem proving. Lecture 1 Computer Science клуб при ПОМИ РАН John Harrison Хит 9914 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