Ebook: Introduction to HOL: A theorem-proving environment for higher order logic
- Genre: Computers // Cybernetics: Artificial Intelligence
- Tags: Lógica simbólica -- matemática., Lógica simbólica y matemática., Automatic theorem proving., Logic Symbolic And Mathematical., ML (Computer Program Language), ML (Lenguaje de programación), Teoremas-Demostración automática.
- Year: 1993
- Publisher: Cambridge University Press
- Language: English
- djvu
Download the book Introduction to HOL: A theorem-proving environment for higher order logic for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)