Ebook: 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980
- Tags: Mathematical Logic and Formal Languages
- Series: Lecture Notes in Computer Science 87
- Year: 1980
- Publisher: Springer-Verlag Berlin Heidelberg
- Edition: 1
- Language: English
- djvu
Download the book 5th Conference on Automated Deduction Les Arcs, France, July 8–11, 1980 for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)