Go back
Higher Order Logic Theorem Proving And Its Applications 8th International Workshop Aspen Grove UT USA September 11 14 1995 Proceedings(1995 Edition)
Authors:
E. Thomas Schubert ,Phillip J. Windley ,James Alves-Foss
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: $47.63
Savings: $47.63(100%)
Solution Manual Includes
Access to 30 Million+ solutions
Ask 50 Questions from expert
AI-Powered Answers
24/7 Tutor Help
Detailed solutions for Higher Order Logic Theorem Proving And Its Applications 8th International Workshop Aspen Grove UT USA September 11 14 1995 Proceedings
Price:
$9.99
/month
Book details
ISBN: 3540602755, 978-3540602750
Book publisher: Springer
Frequently Bought Together
Foundations Of Cost Control - 1st Edition
Daniel Traster
ISBN: 0132156555, 978-0132156554
$0 $107.31
Forecasting And Predictive Analytics With Forecast X - 7th Edition
J. Holton Wilson
ISBN: 1260085236, 978-1260085235, 978-1259903915
$0 $67.00
An Introduction to Geotechnical Engineering - 2nd edition
Robert D. Holtz
ISBN: 132496348, 978-0132496346
$0 $84.97
Excel For Scientists And Engineers - Subsequent Edition
William J. Orvis
ISBN: 0782117619, 978-0782117615
$0 $8.14
The Condensed Handbook Of Measurement And Control - 3rd Edition
N. E. Battikha
ISBN: 1556179952, 978-1556179952
$0 $98.00