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:
Buy Interactive Theorem Proving for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
Advances in Big Data
$169.99
Physikalisches Taschenbuch
$59.99
Information Retrieval and Natural Language Processing
$129.99
Zen Stories: Zen Ghosts (Hardcover)
$14.24
Wie Beurteilt Man eine Bilanz?
$54.99
The Nature of Marketing
$39.99
Contemporary Topics in Energy Physics
$109.99
Language Racism
$64.99
Evolutionary Pathways and Enigmatic Algae
$219.99
Irlands Entwicklung im europischen Binnenmarkt
$59.99
Yearbook of Morphology 1993
$219.99
Tropical Grazing Lands
$109.99
Integrability of Dynamical Systems: Algebra and Analysis
$129.99
Diagnose algebraischen Denkens
$74.99
Databases for Health Care
$109.99
Unternehmenskommunikation bei Privatisierungen ffentlicher Unternehmen
$109.00
My Weirder-est School: Mrs. Stoker Is a Joker!
$5.21
Computer and Information Science 2009
$169.99
Polyploidy
$109.99
France on the World Stage
$54.99
Measure, Integration and a Primer on Probability Theory
$59.99
First-Order Modal Logic
$189.00
Gender Competent Public Law and Policies
$129.00
Komplexe Regelungsprozesse
$49.99
Endophytes
$129.00
Gender Relations in Public and Private
$169.99
Rapid Credit Growth in Central and Eastern Europe
$129.00
Retinal Degenerative Diseases
$329.99
Advanced Intelligent Computing Technology and Applications
$89.99
Electrical Engineering and Intelligent Systems
$109.99
Breast Cancer: Biological and Clinical Progress
$169.99
Folk Psychology Re-Assessed
$119.00
Off to Bed, Little Monster / A la cama monstruito!
$4.46
Effiziente Zentralisierung in den Unternehmensbereichen IT und Finanzen
$54.99
Words on Fire
$6.74
Perspectives on Vietnams Science, Technology, and Innovation Policies
$69.99
Elliptic Boundary Problems for Dirac Operators
$199.00
Verpackungsgestaltung bei Markenerweiterungen
$59.99
Gemengereaktionen und Glasschmelze
$59.99
Rhythms in Physiological Systems
$109.99
