A survey of automated theorem proving. Lecture 1

Партнёр:

Предмет:

Лектор:John Harrison

Курс лекций: A survey of automated theorem proving

Авторизация
*
*
Регистрация
*
*
*
Генерация пароля