| 8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings 1986 Edition Contributor(s): Siekmann, Jörg H. (Editor) |
|
 |
ISBN: 3540167803 ISBN-13: 9783540167808 Publisher: Springer OUR PRICE: $52.24 Product Type: Paperback - Other Formats Published: July 1986 |
| Additional Information |
| BISAC Categories: - Mathematics | Logic - Computers | Intelligence (ai) & Semantics - Computers | Programming - General |
| Dewey: 005.131 |
| Series: Lecture Notes in Computer Science |
| Physical Information: 1.45" H x 6.14" W x 9.21" (2.20 lbs) 716 pages |