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 (Coupon Required):
Buy Interactive Theorem Proving for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | 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
Information and Communication Technologies
$109.99
A Theory of Heuristic Information in Game-Tree Search
$39.99
Current Aspects of Blood Coagulation, Fibrinolysis, and Platelets
$54.99
Design of Underground Structures
$49.99
Smart HRM
$34.99
Analysis of Energy Efficiency of Industrial Processes
$84.99
Zwischen berwachung und Repression Politische Verfolgung in der DDR 1971 bis 1989
$59.99
Scholastic EDGE for PreK en espaol
$645.99
Die Rationalitten des Sozialen
$39.99
Histological Typing of Odontogenic Tumours
$169.99
Linking and Mining Heterogeneous and Multi-view Data
$139.99
Whey Valorization
$199.99
Building Healthy Individuals, Families, and Communities
$109.99
Handbuch der Umweltvernderungen und kotoxikologie
$199.00
Entstehung von Unternehmenskrisen
$79.99
Plasma Polarization Spectroscopy
$169.99
Semiparametric Theory and Missing Data
$189.00
Global Approaches to Site Contamination Law
$169.99
Food Additive Users Handbook
$84.99
Einleitung in die Phnomenologie
$84.99
Rock Guitar For Dummies by Jon Chappell
$24.99
Music and Cultural Diplomacy in the Middle East
$139.99
Die groe orthopdische Rckenschule
$84.99
Modern Trends in Applied Terrestrial Ecology
$169.99
Regenerative Agriculture
$329.99
Passion, Death, and Spirituality
$219.99
Handbuch Digitale Wirtschaft
$259.00
Internal War and the Search for Normative Order
$54.99
Die Bausthle fr den Maschinen- und Fahrzeugbau
$59.99
Observation, Prediction and Simulation of Phase Transitions in Complex Fluids
$329.99
Produktionsplanung und -steuerung in der chemischen Industrie
$64.99
Asymptotics of Analytic Difference Equations
$29.99
ber die Sintergeschwindigkeit von Urandioxidpulver unter oxidierenden und reduzierenden Bedingungen
$54.99
American Ambassadors
$37.99
Electrooptic Effects in Liquid Crystal Materials
$109.99
Guiding Vector Fields for Robot Motion Control
$159.99
Geldlehre: Theorie und Politik
$69.99
Palgrave Advances in Byron Studies
$54.99
FM 2016: Formal Methods
$39.99
Business Knowledge Management in der Praxis
$54.99
