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
Phenomenological Movement
$74.99
Wege der Wissenschaft
$29.99
Out-of-Field Teaching Practices
$39.99
Memory and Imagination in Film
$54.99
Haut und Psyche
$49.99
Performative Experience Design
$109.99
Der Dreiklang der Eigentmermobilisierung
$49.99
The International Allocation of Economic Activity
$169.99
The Dense Interstellar in Galaxies
$219.99
Disability Services and Disability Studies in Higher Education: History, Contexts, and Social Impact
$39.99
Host Response to International Parasitic Zoonoses
$109.99
Artificial Intelligence for .NET: Speech, Language, and Search
$44.99
Spherical Sampling
$89.99
Exploration of the Planetary System
$54.99
Sparpolitik
$59.99
The Multiplication of Viruses / Virus Inclusions in Plant Cells / Virus Inclusions in Insect Cells /
$109.99
Solution of Crack Problems
$169.99
Analytical or Semi-analytical Solutions of Functionally Graded Material Structures
$179.99
Analytic Theory of Continued Fractions II
$34.99
Gabler Kompakt-Lexikon Corporate Social Responsibility
$49.99
Quaternary of South-West England
$39.99
ECOOP 2010 -- Object-Oriented Programming
$109.99
Discontinuous-Fibre Reinforced Composites
$159.99
New Perspectives in Turbulence
$84.99
Artificial Intelligence in Models, Methods and Applications
$189.00
Der Krebskranke
$69.99
Analytische Geometrie
$39.99
Five Nights at Freddy's: The Freddy Files Ultimate Edition
$11.24
Data Warehousing and Knowledge Discovery
$39.99
Psychische Strungen bei Krankenhauspatienten
$59.99
Global Education in Bioethics
$159.99
Internationale Wachstumsstrategien
$59.99
Introduction to Astronomical Photometry
$169.99
IUTAM Symposium on Micromechanics of Plasticity and Damage of Multiphase Materials
$219.99
LEAN Production Easy and Comprehensive
$99.99
Biotechnology for Odor and Air Pollution Control
$159.99
Multilingual Education Yearbook 2018
$54.99
Mikrokonomik im Bachelor-Studium
$19.99
Altwestschsische Grammatik
$49.99
Proceedings of the 4th International Congress of Automotive and Transport Engineering (AMMA 2018)
$219.99
