![Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings](https://d3525k1ryd2155.cloudfront.net/f/720/283/9783540283720.IN.0.m.jpg)
![Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs](https://d3525k1ryd2155.cloudfront.net/f/720/283/9783540283720.IN.0.m.jpg)
Stock Photo: Cover May Be Different
Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
by Joe Hurd
- New
- Paperback
- Condition
- New
- ISBN 10
- 3540283722
- ISBN 13
- 9783540283720
- Seller
-
Southport, Merseyside, United Kingdom
10 Copies Available from This Seller
(You can add more at checkout.)
Payment Methods Accepted
About This Item
Paperback / softback. New. This volume constitutes the proceedings of the 18th International Conference on Theorem Proving in Higher Order Logics (TPHOLs 2005), which was held during22-25August2005inOxford,UK.TPHOLscoversallaspectsoftheorem proving in higher order logics as well as related topics in theorem proving and veri?cation.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- The Saint Bookstore
(GB)
- Bookseller's Inventory #
- B9783540283720
- Title
- Theorem Proving in Higher Order Logics: 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005, Proceedings
- Author
- Joe Hurd
- Format/Binding
- Paperback / softback
- Book Condition
- New
- Quantity Available
- 10
- Binding
- Paperback
- ISBN 10
- 3540283722
- ISBN 13
- 9783540283720
- Publisher
- Springer
- This edition first published
- September 19, 2005
Terms of Sale
The Saint Bookstore
Refunds or Returns: A full refund of the price paid will be given if returned within 30 days in undamaged condition. If the product is faulty, we may send a replacement.
About the Seller
The Saint Bookstore
Biblio member since 2018
Southport, Merseyside
About The Saint Bookstore
The Saint Bookstore specialises in hard to find titles & also offers delivery worldwide for reasonable rates.
Glossary
Some terminology that may be used in this description includes:
- New
- A new book is a book previously not circulated to a buyer. Although a new book is typically free of any faults or defects, "new"...