Sofiene Tahar Theorem Proving In Higher Order Logics 15th International Conference Tphols 2002 Hampton Va Usa August 2002 Proceedings(1st Edition)
Authors:
Victor A. Carreno ,Cesar A. Munoz ,Sofiene Tahar
In Stock
Shipment time
Expected shipping within 2 DaysPopular items with books
Total Price:
$0
Solution Manual Includes
Price:
$9.99
Book details
ISBN: 3540440399, 978-3540440390
Book publisher: Springer
Frequently Bought Together
Essentials Of Understanding Abnormal Behavior - 1st Edition
Sue
ISBN: 061837633X, 9780618376339
$0 $49.00
Federal Taxation 2021 Corporations, Partnerships, Estates & Trusts - 34th Edition
Timothy J. Rupert
ISBN: 0135919460, 978-0135919460
$0 $201.89
Crafting And Executing Strategy Concepts And Readings - 20th Edition
Arthur Thompson
ISBN: 1259297071, 9781259297076
$0 $204.52
Intelligent Tutoring Systems Third International Conference Its 96 Montreal Canada June 1996 Proceedings - 1st Edition
Claude Frasson
ISBN: 3540613277, 978-3540613275
$0 $12.86
Parallel Processing And Applied Mathematics 12th International Conference Ppam 2017 Lublin Poland September 10 13 2017 Revised Selected Papers Part I Part I - 1st Edition
Roman Wyrzykowski
ISBN: 3319780239, 978-3319780238
$0 $53.64