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
Semantic Similarity from Natural Language and Ontology Analysis
$54.99
Networking the Learner
$169.99
Reimagining Engineering Education
$129.99
Introduction to Food Manufacturing Engineering
$89.99
Intraocular Surgery
$39.99
Geophysical Studies in the Caucasus
$84.99
Die qualitative und quantitative Bestimmung des Holzschliffes im Papier
$59.99
Software Engineering and Knowledge Engineering: Theory and Practice
$219.99
Heartless by Marissa Meyer
$12.99
Buchfhrung und Finanzberichte
$29.99
Neural Network Methods for Natural Language Processing
$69.99
High-Frequency Readers: We Are Painting
$3.71
The Offshore Interface
$169.99
Business Intelligence with SQL Server Reporting Services
$59.99
Whatever After: Abby in Neverland (Hardcover)
$12.74
Objektorientierte Konzepte fr Kosteninformationssysteme
$49.99
Bugs! Bugs! Bugs!
$5.21
Electromagnetic Foundations of Solar Radiation Collection
$84.99
British and French Colonialism in Africa, Asia and the Middle East
$159.99
Wo brennt es beim Burnout?
$39.99
Designing with Computational Intelligence
$109.99
Nineteenth-Century Poetry and Literary Celebrity
$54.99
Strategic Marketing Cases in Emerging Markets
$69.99
Hippokrates
$59.99
Stabilitt im Umbruch
$69.99
Attraction in Numerical Minimization
$39.99
Antibody Engineering
$129.00
Von Zahlen und Gren
$99.99
Taschenbuch fr den Fabrikbetrieb
$59.99
The Exclusionary Rule of Illegal Evidence in China
$129.99
Educating Youth for a World Beyond Violence
$54.99
Beurteilung von Dienstleistungsqualitt
$44.99
Pflanzenbiochemie
$64.99
Conservation of Living Nature and Resources
$84.99
Cyclen-basierte Metallonucleasen
$64.99
Ab Initio Molecular Dynamics Analysis Based on Reduced-Dimensionality Reaction Route Map
$199.99
Pancreatoduodenectomy
$39.99
Investor Relations in der Unternehmenskommunikation
$59.99
The Psychology of Womens Health and Health Care
$44.99
Healthcare Industry Assessment: Analyzing Risks, Security, and Reliability
$149.00
