Go back
Theorem Proving In Higher Order Logics 22nd International Conference TPHOLs 2009 Munich Germany August 17 20 2009 Proceedings(2009 Edition)
Authors:
Stefan Berghofer ,Tobias Nipkow ,Christian Urban ,Makarius Wenzel
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: $46.46
Savings: $46.46(100%)
Solution Manual Includes
Access to 30 Million+ solutions
Ask 50 Questions from expert
AI-Powered Answers
24/7 Tutor Help
Detailed solutions for Theorem Proving In Higher Order Logics 22nd International Conference TPHOLs 2009 Munich Germany August 17 20 2009 Proceedings
Price:
$9.99
/month
Book details
ISBN: 364203358X, 978-3642033582
Book publisher: Springer
Frequently Bought Together
Personal Financial Planning - 15th Edition
Randy Billingsley
ISBN: 978-0357438480, 0357438485
$0 $33.48
Investment Banking Workbook - 1st Edition
Joshua Rosenbaum
ISBN: 1118456114, 978-1118456118
$0 $38.15
Managerial Decision Modeling With Spreadsheets - 3rd Edition
Nagraj Balakrishnan
ISBN: 136115837, 978-0136115830
$0 $24.94
Data Mining Techniques For Marketing Sales And Customer Relationship Management - 1st Edition
Berry / Linoff
ISBN: B001E2JULI
$0 $64.69
Database Management For Beginners A Beginner S Guide To Managing And Manipulating Data - 1st Edition
Daniel Garfield
ISBN: 979-8861665698
$0 $14.45
Internet Transport Economics - 1st Edition
Richard T. B. Ma
ISBN: 3031144236, 978-3031144233
$0 $150.48