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
Where Do We Come From?
$129.99
Arbeiten aus dem Kaiserlichen Gesundheitsamte
$59.99
Alternatives Modell zur Unternehmensbewertung deutscher Lebensversicherer
$59.99
Einfhrung in die Wahrscheinlichkeitstheorie und Statistik
$39.99
Einsatz von Customer Relationship Management-Systemen
$99.99
An Accelerated Solution Method for Two-Stage Stochastic Models in Disaster Management
$54.99
Trends in Practical Applications of Heterogeneous Multi-Agent Systems. The PAAMS Collection
$129.00
My Fate According to the Butterfly: 6-Book Set
$30.95
Heavy Metal Studies and Popular Culture
$109.99
Japanese Management Structures, 192080
$29.99
The Power of Governance
$109.99
Mathematics of Wave Phenomena
$199.99
Mapping My.: Mapping My Town
$5.24
Erdung, Nullung und Schutzschaltung
$74.99
Psychological Mechanisms in Animal Communication
$179.99
On Gdel and the Nonexistence of Time Gdel und die Nichtexistenz der Zeit
$34.99
Constraints Meet Concurrency
$54.99
Happy Burger
$3.71
Agiles Management als Antwort auf die Herausforderungen der Digitalisierung
$17.99
Explainable Neural Networks Based on Fuzzy Logic and Multi-criteria Decision Tools
$129.00
Systematische Untersuchung zur Frage der optimalen Nutzung eines Unterrichtsreaktors fr Ausbildungs
$54.99
Flux Pinning in Superconductors
$129.00
Rwandan Economy at the Crossroads of Development
$84.99
Spirally Anisotropic Composites
$169.99
Simulation and Imaging of the Cardiac System
$39.99
Einfhrung in die Strmungsmetechnik
$49.99
Semiparallel Submanifolds in Space Forms
$84.99
Water Resources Management
$169.99
The Best Seat in Second Grade, I Can Read Book! Level 2
$4.46
Harry Potter: Wizards Unite: Official Game Guide
$7.49
Applications in Electronics Pervading Industry, Environment and Society
$169.99
Stadtslogans zur Umsetzung der Markenidentitt von Stdten
$69.99
Structures Mres: Semantics, Mathematics, and Cognitive Science
$54.99
Mathematical Principles in Bioinformatics
$79.99
Scale Optimization
$219.99
Strategic Health Technology Incorporation
$14.99
The Plurality of Power
$84.99
Effects of Data Overload on User Quality of Experience
$139.99
Progress in Clinical Parasitology
$39.99
EBM 2023 Kommentar
$64.99
