ID: 4260
Отрасль: Образование, наука
Название: Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Автор: T. Nipkow, L.C. Paulson, M. Wenzel
Год: 2010
Издательство: Springer
Формат книги: pdf
Скачать книгу "Isabelle/HOL: A Proof Assistant for Higher-Order Logic" бесплатно
Загружено: 7
Отрасль: Образование, наука
Название: Isabelle/HOL: A Proof Assistant for Higher-Order Logic
Автор: T. Nipkow, L.C. Paulson, M. Wenzel
Год: 2010
Издательство: Springer
Формат книги: pdf
Скачать книгу "Isabelle/HOL: A Proof Assistant for Higher-Order Logic" бесплатно
Загружено: 7