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 proceedings of the 5th International Conference on Interactive Theorem Proving, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, in Vienna, Austria, in July 2014. The 35 papers presented in this volume were carefully reviewed and selected from 59 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematics.
Reviews
Questions & Answers
Barnes & Noble Brock: A Novel by Anthony McGowan
$9.99
Readings in Accounting for Management Control
$39.99
Decolonial Horizons
$109.00
BASIC-Wegweiser fr den Commodore 64
$79.99
The Mathematical Legacy of Srinivasa Ramanujan
$159.99
Der Entropiesatz oder der zweite Hauptsatz der mechanischen Wrmetheorie
$59.99
Arbeit und Mue
$17.99
Woody Plants - Evolution and Distribution Since the Tertiary
$249.99
The Red Sea
$169.99
Traumasensibles Arbeiten fr Therapieberufe
$17.99
Contextual Language Learning
$179.99
Invertebrate Learning
$39.99
Audio Processing and Speech Recognition
$54.99
Physiotherapie bei chronischen Atemwegs- und Lungenerkrankungen
$59.99
Bildung und funktionelle Bedeutung adrenerger Ersatztransmitter
$29.99
Respectful Research With and About Young Families
$54.99
Enterprise, Business-Process and Information Systems Modeling
$54.99
Unconventional Photoactive Solids
$39.99
Regenerative and Cell Therapy
$84.99
Optical Character Recognition Systems for Different Languages with Soft Computing
$129.00
Deutsche Kino-Wochenschau und der wirtschaftliche Aufschwung in West und Ost
$79.99
Finite Elemente Ein Einstieg
$44.99
Principles of Applied Clinical Chemistry
$109.99
Biochemisches Handlexikon
$84.99
Was ist Stahl?
$54.99
Anleitung zur Bearbeitung meteorologischer Beobachtungen fr die Klimatologie
$79.99
Pathobiology of Cardiovascular Injury
$169.00
Automatic Learning Techniques in Power Systems
$169.99
Lectures on Nonlinear Dynamics
$199.99
Entwerfen von Programmen
$69.99
William Shockley: The Will to Think
$49.99
Multidisciplinary Teaching Atlas of the Pancreas
$379.99
Engineering Self-Organising Systems
$54.99
Unconventional Computation and Natural Computation
$54.99
Die Zwischenschrittmethode zur Lsung mehrdimensionaler Probleme der mathematischen Physik
$54.99
Learning from the Slums for the Development of Emerging Cities
$39.99
The Medieval Chastity Belt
$129.99
Biographie Religiositt Bildung
$69.99
Ecology of Threatened Semi-Arid Wetlands
$169.99
Trends and Advances in Information Systems and Technologies
$219.99
