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 |