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
Fuzzy Linear Programming: Solution Techniques and Applications
$84.99
Complex Sciences
$54.99
Psychological Aspects of Rheumatoid Arthritis
$109.99
Financial Enterprise in South Africa since 1950
$39.99
Global Aspects of Classical Integrable Systems
$129.00
Complexity Theory and Cryptology
$54.99
Modern Trends in THA Bearings
$109.99
Sustainable Strategies for the Upgrading of Natural Gas: Fundamentals, Challenges, and Opportunities
$329.99
National Geographic Kids Readers: Bugs!
$3.71
Ignition Sources
$109.99
A Computational Model of Reasoning from the Clinical Literature
$109.99
Assessing the Economic Impact of Tourism
$109.00
The Humanities in the Digital: Beyond Critical Digital Humanities
$179.99
The Duke of Portland
$84.99
Flexible Query Answering Systems
$39.99
Reporting and Publishing Research in the Biomedical Sciences
$109.99
Metabiography
$79.99
Changes in the Brain
$159.99
Disability, Public Space Performance and Spectatorship
$54.99
Optics
$74.99
Food Gels
$39.99
Versorgungsstrategien in der Logistik
$74.99
Vocabulary and Applied Linguistics
$54.99
Hair and Scalp Treatments
$99.99
Fractured Scenes
$129.99
RADIO--Robots in Assisted Living
$89.00
Neotropical Diversification: Patterns and Processes
$169.99
The Other People
$54.99
Abdominal Imaging. Computational and Clinical Applications
$39.99
Proceedings of the International Conference on Computational Intelligence and Sustainable Technologi
$279.99
Proceedings of the XIV Symposium Neuroradiologicum
$84.99
Advances in Artificial Intelligence
$39.99
Kooperative Marktforschung
$59.99
Hermann Schlichting 100 Years
$219.99
Molekle und Moleklanhufungen
$59.99
Theory and Applications of Satisfiability Testing SAT 2019
$39.99
Kollektiver Rechtsschutz in der Europischen Union
$44.99
Michal Kalecki
$109.99
Fundamentals of Business Process Management
$64.99
ber den Vorbereitungssatz von Weierstra / Elliptische Differentialoperatoren auf Mannigfaltigkeite
$59.99
