5th Conference on Automated Deduction: Les Arcs, France, July 8-11, 1980 (Lecture Notes in Computer Science, 87)
ISBN-10:
3540100091
ISBN-13:
9783540100096
Edition: 1980
Low Price Summary
Top Bookstores
We're an Amazon Associate. We earn from qualifying purchases at Amazon and all stores listed here.
DISCLOSURE: We're an eBay Partner Network affiliate and we earn commissions from purchases you make on eBay via one of the links above.
DISCLOSURE: We're an eBay Partner Network affiliate and we earn commissions from purchases you make on eBay via one of the links above.
Want a Better Price Offer?
Set a price alert and get notified when the book starts selling at your price.
Want to Report a Pricing Issue?
Let us know about the pricing issue you've noticed so that we can fix it.