Бесплатные электронные книги. Implementing Mathematics with The Nuprl Proof Development System html

ID: 2549
Отрасль: Образование, наука
Название: Implementing Mathematics with The Nuprl Proof Development System
Автор: R. L. Constable, at al.
Год: 1986
Издательство: Prentice Hall
Формат книги: html
Скачать книгу "Implementing Mathematics with The Nuprl Proof Development System" бесплатно

Загружено: 7