Hero image 0 of Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009,, (Paperback), 0 of 1
Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009,, (Paperback)
(No ratings yet)
Key item features
- Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009,, (Paperback)
- Author: Springer
- ISBN: 9783642033582
- Format: Paperback
- Publication Date: 2009-08-04
- Page Count: 517
Specs
- Book formatPaperback
- Fiction/nonfictionNon-Fiction
- GenreTextbooks
- Publication dateAugust, 2009
- Pages517
- SubgenreLogic
Current price is USD$54.99
Price when purchased online
- Free shipping
Free 90-day returns
How do you want your item?
Try 30 days of Free Shipping with Walmart+! Choose plan at checkout.
Columbus, 43215
Arrives by Tue, Apr 28
Sold and shipped by Walmart.com
Free 90-day returns - in store or online
This item is gift eligible
More seller options (2)
Starting from $56.14
Get free delivery, shipping and more*
*Restrictions apply Try Walmart+ now
About this item
Product details
This book constitutes the refereed proceedings of the 22nd International Conference on Theorem Proving in Higher Order Logics, TPHOLs 200, held in Munich, Germany, in August 2009. The 26 revised full papers presented together with 1 proof pearl, 4 tool presentations, and 3 invited papers were carefully reviewed and selected from 55 submissions. The papers cover all aspects of theorem proving in higher order logics as well as related topics in theorem proving and verification such as formal semantics of specification, modeling, and programming languages, specification and verification of hardware and software, formalization of mathematical theories, advances in theorem prover technology, as well as industrial application of theorem provers.
- Theorem Proving in Higher Order Logics: 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009,, (Paperback)
- Author: Springer
- ISBN: 9783642033582
- Format: Paperback
- Publication Date: 2009-08-04
- Page Count: 517
info:
We aim to show you accurate product information. Manufacturers, suppliers and others provide what you see here, and we have not verified it. Â
Specifications
Book format
Paperback
Fiction/nonfiction
Non-Fiction
Genre
Textbooks
Publication date
August, 2009
Warranty
Warranty information
Please be aware that the warranty terms on items offered for sale by third party Marketplace sellers may differ from those displayed in this section (if any). To confirm warranty terms on an item offered for sale by a third party Marketplace seller, please use the 'Contact seller' feature on the third party Marketplace seller's information page and request the item's warranty terms prior to purchase.
Similar items you might like
Based on what customers bought
Lecture Notes in Computer Science High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994, Book 797, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science High-Performance Computing and Networking: International Conference and Exhibition, Munich, Germany, April 18 - 20, 1994, Book 797, (Paperback)
Lecture Notes in Computer Science Product Focused Software Process Improvement: Third International Conference, Profes 2001, Kaiserslautern, Germany, Sept, Book 2188, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Product Focused Software Process Improvement: Third International Conference, Profes 2001, Kaiserslautern, Germany, Sept, Book 2188, (Paperback)
Lecture Notes in Computer Science Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Pr, Book 845, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Constraints in Computational Logics: First International Conference, CCL '94, Munich, Germany, September 7 - 9, 1994. Pr, Book 845, (Paperback)
Experimental Algorithms: 8th International Symposium Sea 2009, Dortmund, Germany, June 4-6, 2009, Proceedings, (Paperback) $54.99
$5499current price $54.99Experimental Algorithms: 8th International Symposium Sea 2009, Dortmund, Germany, June 4-6, 2009, Proceedings, (Paperback)
Algorithmic Learning Theory: 13th International Conference, Alt 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, (Paperback) $54.99
$5499current price $54.99Algorithmic Learning Theory: 13th International Conference, Alt 2002, Lübeck, Germany, November 24-26, 2002, Proceedings, (Paperback)
Tests and Proofs: 11th International Conference, Tap 2017, Held as Part of Staf 2017, Marburg, Germany, July 19-20, 2017, (Paperback) $60.29
$6029current price $60.29Tests and Proofs: 11th International Conference, Tap 2017, Held as Part of Staf 2017, Marburg, Germany, July 19-20, 2017, (Paperback)
Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 201, (Paperback) $64.04
$6404current price $64.04Interactive Theorem Proving: 5th International Conference, Itp 2014, Held as Part of the Vienna Summer of Logic, Vsl 201, (Paperback)
Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proc, (Paperback) $56.14
$5614current price $56.14Theorem Proving in Higher Order Logics: 18th International Conference, Tphols 2005, Oxford, Uk, August 22-25, 2005, Proc, (Paperback)
Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002, Book 2410, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 15th International Conference, Tphols 2002, Hampton, Va, Usa, August 20-23, 2002, Book 2410, (Paperback)
Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings, (Paperback) $56.14
$5614current price $56.14Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany, September 11-13, 2014. Proceedings, (Paperback)
Inductive Logic Programming: 15th International Conference, Ilp 2005, Bonn, Germany, August 10-13, 2005, Proceedings, (Paperback) $56.14
$5614current price $56.14Inductive Logic Programming: 15th International Conference, Ilp 2005, Bonn, Germany, August 10-13, 2005, Proceedings, (Paperback)
Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proc, (Paperback) $54.99
$5499current price $54.99Intelligent Computer Mathematics: 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proc, (Paperback)
Multiagent System Technologies: 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings, (Paperback) $54.99
$5499current price $54.99Multiagent System Technologies: 7th German Conference, MATES 2009 Hamburg, Germany, September 9-11, 2009 Proceedings, (Paperback)
Web Engineering: 12th International Conference, Icwe 2012, Berlin, Germany, July 23-27, 2012, Proceedings, (Paperback) $54.99
$5499current price $54.99Web Engineering: 12th International Conference, Icwe 2012, Berlin, Germany, July 23-27, 2012, Proceedings, (Paperback)
Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, P, Book 1690, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Theorem Proving in Higher Order Logics: 12th International Conference, Tphols'99, Nice, France, September 14-17, 1999, P, Book 1690, (Paperback)
Security in Pervasive Computing: Second International Conference, Spc 2005, Boppard, Germany, April 6-8, 2005, Proceedin, (Paperback) $56.14
$5614current price $56.14Security in Pervasive Computing: Second International Conference, Spc 2005, Boppard, Germany, April 6-8, 2005, Proceedin, (Paperback)
Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings, (Paperback) $54.99
$5499current price $54.99Formal Concept Analysis: 7th International Conference, ICFCA 2009 Darmstadt, Germany, May 21-24, 2009 Proceedings, (Paperback)
Spatial and Temporal Databases: 13th International Symposium, Sstd 2013, Munich, Germany, August 21-23, 2013, Proceeding, (Paperback) $54.99
$5499current price $54.99Spatial and Temporal Databases: 13th International Symposium, Sstd 2013, Munich, Germany, August 21-23, 2013, Proceeding, (Paperback)
Lecture Notes in Computer Science Pattern Recognition: 44th Dagm German Conference, Dagm Gcpr 2022, Konstanz, Germany, September 27-30, 2022, Proceedings, Book 13485, (Paperback) $54.99
$5499current price $54.99Lecture Notes in Computer Science Pattern Recognition: 44th Dagm German Conference, Dagm Gcpr 2022, Konstanz, Germany, September 27-30, 2022, Proceedings, Book 13485, (Paperback)
Lecture Notes in Computer Science Smart Grapics: Third International Symposium, Sg 2003, Heidelberg, Germany, July2-4, 2003, Proceedings, Book 2733, (Paperback) $56.14
$5614current price $56.14Lecture Notes in Computer Science Smart Grapics: Third International Symposium, Sg 2003, Heidelberg, Germany, July2-4, 2003, Proceedings, Book 2733, (Paperback)
Customer ratings & reviews
0 ratings|0 reviews
This item does not have any reviews yet
