Go back
8th International Conference On Automated Deduction Oxford England July 27 August 1 1986 Proceedings(1986 Edition)
Authors:
Jorg H. Siekmann
Cover Type:Hardcover
Condition:Used
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Access to 30 Million+ solutions
Free ✝
Ask 50 Questions from expert
AI-Powered Answers
✝ 7 days-trial
Total Price:
$0
List Price: $54.99
Savings: $54.99(100%)
Book details
ISBN: 3540167803, 978-3540167808
Book publisher: Springer
Frequently Bought Together
Operations Research An Introduction - 11th Edition
Hamdy A. Taha
ISBN: 0137625723, 978-0137625727
$0 $160.00
AP Precalculus Premium 2025 Prep Book With 3 Practice Tests Plus Comprehensive Review Plus Online Practice - 1st Edition
Christina Pawlowski-Polanish
ISBN: 1506292038, 978-1506292038
$0 $26.49
Practical Management Science - 6th Edition
Wayne L. Winston
ISBN: 1337406651, 978-1337406659
$0 $274.95
Proof Of Authenticity Facts About Blockchain A Look Inside The Decentralised Economy Is It Advancing Or At The Brink Of Destruction - 1st Edition
Farabi Shayor
ISBN: 979-8640036350
$0 $10.99