John Harrison Сотрудник Intel Corporation. Персональная страница Источник фото и информации Курсы A survey of automated theorem proving Computer Science клуб при ПОМИ РАН John Harrison Курс (4) 3753 Лекции 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 A survey of automated theorem proving. Lecture 2 Computer Science клуб при ПОМИ РАН John Harrison 2823 A survey of automated theorem proving. Lecture 1 Computer Science клуб при ПОМИ РАН John Harrison Хит 9914
