Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Interactive Theorem Proving
Best Price:
Buy Interactive Theorem Proving for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
Reviews
Questions & Answers
Proceedings of the International Workshop on Computational Intelligence in Security for Information
$169.00
4th International Conference on Internet of Things and Connected Technologies (ICIoTCT), 2019
$169.99
Internationales Archiv fr Arbeitsmedizin / International Archives of Occupational Health
$44.99
Von der Diskontpolitik zur Herrschaft ber den Geldmarkt
$59.99
Work Beyond the Pandemic
$139.00
Gieener Gynkologische Fortbildung 1995
$54.99
Performancemessung schlanker Produktionssysteme
$39.99
Cancer Drug Resistance
$84.99
Studies in Memory of Issai Schur
$84.99
Fundamental Research on Creep and Shrinkage of Concrete
$219.99
Phosphatidylcholine
$169.99
Permanent Magnet Synchronous Motor Drives for Gearless Traction Elevators
$169.99
Giant Magneto-Resistance Devices
$179.99
Provokative Therapie
$44.99
Graphs from Rings
$169.99
Logical and Computational Aspects of Model-Based Reasoning
$109.99
Numerical methods for scientists and engineers
$95.00
Transactions on Computational Collective Intelligence XXXVII
$69.99
Herzfunktion unter Beatmung
$59.99
Nuclear Command and Control in NATO
$109.99
Dino Ranch: Home on the Ranch w/ Stickers
$4.49
Dynamic General Equilibrium Modeling
$199.99
Beginning Blockchain
$54.99
Autobiographie und Geschichte
$39.99
Polymer Modification
$129.00
Organisation und Unsicherheit
$49.99
Mantras for Managers
$54.99
Mechanics of Biological Tissue
$169.99
Unternehmensfinanzierung und -rating mit System
$29.99
Geology of the Cayman Islands
$59.99
Fhren mit Visionen
$39.99
Fundamental Properties of Semiconductor Nanowires
$169.99
Total Productive Management - ganzheitlich
$99.99
Onkologie
$59.99
Elektrotechnik 2
$49.99
The Political Theories of Risk Analysis
$109.99
Experimentieren und Begrnden
$59.99
Lexile Elementary Levels 600-690
$225.00
Enabling People with Dementia: Understanding and Implementing Person-Centred Care
$54.99
Grundwasserabsenkung bei Fundierungsarbeiten
$49.99
