Power Search
Low Price Guarantee
We Take School POs
8th International Conference on Automated Deduction: Oxford, England, July 27- August 1, 1986. Proceedings 1986 Edition
Contributor(s): Siekmann, Jörg H. (Editor)

View larger image

 ISBN: 3540167803     ISBN-13: 9783540167808
Publisher: Springer
OUR PRICE: $52.24  

Binding Type: Paperback - See All Available Formats & Editions
Published: July 1986
Qty:

Click for more in this series: Lecture Notes in Computer Science
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" L (2.20 lbs) 716 pages
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!