Ebook: Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings
- Tags: Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Software Engineering, Artificial Intelligence (incl. Robotics), Logic Design
- Series: Lecture Notes in Computer Science 5170
- Year: 2008
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- pdf
Download the book Theorem Proving in Higher Order Logics: 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008. Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)