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
Include with your book
Free shipping: April 30, 2024Popular items with books
Total Price:
$0
Book details
ISBN: 3540440399, 978-3540440390
Book publisher: Springer
Frequently Bought Together
Cybersecurity For Executives Advancing Leaders To Practical Cyber Risk Management - 1st Edition
J S Sandhu
ISBN: 979-8887043135
$0 $14.99
Beyond The Pitch Mastering The Art Of Entrepreneurial Success - 1st Edition
Nancy Barlow
ISBN: B0CWRTB6KL, 979-8883231505
$0 $13.99
Small Business Management Launching & Growing Entrepreneurial Ventures - 17th edition
Justin Longenecker
ISBN: 9781285972565, 1133947751, 1285972562, 978-1133947752
$0 $249.95
Foundations Of Energy Risk Management An Overviewof The Energy Sector And Its Physical And Financial Markets - 1st Edition
Garp
ISBN: 0470421908, 978-0470421901
$0 $95.00
Intelligent Tutoring Systems Third International Conference Its 96 Montreal Canada June 1996 Proceedings - 1st Edition
Claude Frasson
ISBN: 3540613277, 978-3540613275
$0 $12.98
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 $54.98