A survey of automated theorem proving Курс Партнёр:Computer Science клуб при ПОМИ РАН Предмет:Computer Science Лектор:John Harrison Лекции курса4 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 A survey of automated theorem proving. Lecture 4 Computer Science клуб при ПОМИ РАН John Harrison 3299
