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
Diary of a Wimpy Kid: The Meltdown
$6.74
Die deutsche Medienbranche
$54.99
Planungs- und Bauablauf
$69.99
Functional Somatic Symptoms in Children and Adolescents
$44.99
Biochemistry of Vitamin B6 and PQQ
$39.99
Soft Computing Approach to Pattern Classification and Object Recognition
$109.99
Wahl 98
$69.99
Lasers in Neurosurgery
$169.99
Technischer Lehrgang Motorkraftstoffe
$54.99
Conflict and Youth Rights in India
$59.99
Current Developments in Solid-state Fermentation
$129.00
The Ethics and Efficacy of the Global War on Terrorism
$54.99
Fethullah Glens Teaching and Practice
$49.99
The Impact of Culture on Relationship Marketing in International Services
$39.99
Hydrogen Production and Remediation of Carbon and Pollutants
$109.99
Kac Algebras and Duality of Locally Compact Groups
$109.99
Photosynthesis and Plant Development
$109.99
Functional Grammar in the ESL Classroom
$109.99
Entgeltklauseln in Unternehmenskreditvertrgen
$49.99
Gesunde Haut
$24.99
Stability and Control of Time-delay Systems
$84.99
Funktionsbergreifende Zusammenarbeit im Lsungsgeschft
$59.99
Uranium Processing and Properties
$129.00
Thermodiffusion im kritischen Entmischungsgebiet des flssigen Systems Nitrobenzol + n-Hexan
$29.99
Security Protocols XVI
$54.99
Child-led Tube-management and Tube-weaning
$109.99
The Data-driven Organization
$34.99
Sinterung von Filterkuchen aus Eisenerz- bzw. Konzentratschlamm
$59.99
Sextus Empiricus Neo-Pyrrhonism
$129.99
Logic for Programming, Artificial Intelligence, and Reasoning
$39.99
Tremor
$29.99
Grauzone and Completion of Meiosis During Drosophila Oogenesis
$109.99
Modular Pricing of Options
$74.99
Nahost Jahrbuch 1990
$59.99
Einfhrung in die Dynamik
$44.99
Die Vernebelung schmelzbarer Festkrper mit Ultraschall
$54.99
Industrial Technology Transfer
$54.99
Heavy-Tailed Distributions and Robustness in Economics and Finance
$54.99
Online Engineering & Internet of Things
$329.99
Local Politics and Contemporary Transformations in the Arab World
$54.99
