Ebook: 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings
- Tags: Mathematical Logic and Formal Languages, Artificial Intelligence (incl. Robotics)
- Series: Lecture Notes in Computer Science 230
- Year: 1986
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- djvu
Download the book 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)