Go back
9th International Conference On Automated Deduction Argonne Illinois Usa May 23 26 1988 Proceedings(1988 Edition)
Authors:
Ewing Lusk ,Ross Overbeek
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: $95.74
Savings: $95.74(100%)
Solution Manual Includes
Access to 30 Million+ solutions
Ask 50 Questions from expert
AI-Powered Answers
24/7 Tutor Help
Detailed solutions for 9th International Conference On Automated Deduction Argonne Illinois Usa May 23 26 1988 Proceedings
Price:
$9.99
/month
Book details
ISBN: 354019343X, 978-3540193432
Book publisher: Springer
Frequently Bought Together
Fundamentals of Cost Accounting - 5th edition
William Lanen
ISBN: 978-1259728877, 1259728870, 978-1259565403
$0 $145.00
Life As A Battle Of Britain Pilot - 1st Edition
Jonathan Falconer
ISBN: 0752457888, 978-0752457888
$0 $12.95
Having Tea With My Daemons A Memoir Of The 2008 Financial Crisis - 1st Edition
Lilan Li
ISBN: 979-8376400197
$0 $20.99
Clearing Settlement And Custody - 3rd Edition
David Loader
ISBN: 0128186909, 978-0128186909
$0 $70.99