![Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings: Vol 5674](https://d3525k1ryd2155.cloudfront.net/f/582/033/9783642033582.IN.0.m.jpg)
Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings: Vol 5674
by Berghofer, Stefan (Editor)/ Nipkow, Tobias (Editor)/ Urban, Christian (Editor)
- New
- Paperback
- Condition
- New
- ISBN 10
- 364203358X
- ISBN 13
- 9783642033582
- Seller
-
Exeter, Devon, United Kingdom
2 Copies Available from This Seller
(You can add more at checkout.)
Payment Methods Accepted
About This Item
Springer-Verlag New York Inc, 2009. Paperback. New. 1st edition. 517 pages. 9.13x6.06x1.18 inches.
Reviews
(Log in or Create an Account first!)
Details
- Bookseller
- Revaluation Books
(GB)
- Bookseller's Inventory #
- x-364203358X
- Title
- Theorem Proving in Higher Order Logics: 22nd International Conference, Tphols 2009, Munich, Germany, August 17-20, 2009, Proceedings: Vol 5674
- Author
- Berghofer, Stefan (Editor)/ Nipkow, Tobias (Editor)/ Urban, Christian (Editor)
- Format/Binding
- Paperback
- Book Condition
- New
- Quantity Available
- 2
- ISBN 10
- 364203358X
- ISBN 13
- 9783642033582
- Publisher
- Springer-Verlag New York Inc
- Date Published
- 2009
Terms of Sale
Revaluation Books
30 day return guarantee, with full refund including original shipping costs for up to 30 days after delivery if an item arrives misdescribed or damaged.
About the Seller
Revaluation Books
Biblio member since 2020
Exeter, Devon
About Revaluation Books
General bookseller of both fiction and non-fiction.
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"...