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