Power Search
Low Price Guarantee
We Take School POs
5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 1980 Edition
Contributor(s): Bibel, Wolfgang (Editor), Kowalski, R. (Editor)

View larger image

 ISBN: 3540100091     ISBN-13: 9783540100096
Publisher: Springer
OUR PRICE: $52.24  

Binding Type: Paperback - See All Available Formats & Editions
Published: June 1980
Qty:

Click for more in this series: Lecture Notes in Computer Science
Additional Information
BISAC Categories:
- Mathematics | Logic
- Computers | Computer Science
Dewey: 511.3
Series: Lecture Notes in Computer Science
Physical Information: 0.83" H x 6.14" W x 9.21" L (1.24 lbs) 388 pages
 
Customer ReviewsSubmit your own review
 
To tell a friend about this book, you must Sign In First!