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 refereed proceedings of the 4th International Conference on Interactive Theorem Proving, ITP 2013, held in Rennes, France, in July 2013. The 26 regular full papers presented together with 7 rough diamond papers, 3 invited talks, and 2 invited tutorials were carefully reviewed and selected from 66 submissions. The papers are organized in topical sections such as program verfication, security, formalization of mathematics and theorem prover development.
Reviews
Questions & Answers
Identity, Pedagogy and Technology-enhanced Learning
$109.99
Inerter and Its Application in Vibration Control Systems
$169.99
Decision Trees for Fault Diagnosis in Circuits and Switching Networks
$129.99
Structured Light Fields
$109.99
Women & Catholicism
$54.99
Lung Cancer
$429.00
The Politics of Wage Policy in Post-Revolutionary China
$39.99
Darstellung und Begrndung einiger neuerer Ergebnisse der Funktionentheorie
$59.99
Wissenschaftssprache - Ein Pldoyer fr Mehrsprachigkeit in der Wissenschaft
$17.99
Diversifikationen durch Unternehmungserwerb
$69.99
Software Measurement
$54.99
Bridging Between Information Retrieval and Databases
$39.99
International Trade of Secondhand Goods
$169.99
Autonomy in the Law
$109.99
Data Science
$129.99
Elections, Voting Rules and Paradoxical Outcomes
$119.99
Halal Slaughter of Livestock: Animal Welfare Science, History and Politics of Religious Slaughter
$129.99
The Wine Wars
$39.99
Digital Technologies: Sustainable Innovations for Improving Teaching and Learning
$109.99
Corporate Social Responsibility - Mythen und Manahmen
$39.99
Ludwig Boltzmann Gesamtausgabe
$69.99
The Swings of Science
$49.99
Buchfhrung 1 DATEV-Kontenrahmen 2022
$19.99
Database Security X
$169.99
Offshore Medicine
$84.99
Entdeckungsreisen in Feld und Flur
$84.99
Aspects of Modern Monetary and Macroeconomic Policies
$109.99
Decentralised Government in an Integrating World
$84.99
Polymer Characterisation
$169.00
Field Guide to Meteors and Meteorites
$49.99
Die Wirkung mechanischer Schwingungen (0,5 bis 100 Hertz) auf den Menschen
$59.99
Cryptorchidism
$54.99
Management and Minimisation of Uncertainties and Errors in Numerical Aerodynamics
$169.99
Auswirkungen der Reform der Leasingbilanzierung nach IFRS
$59.99
"Fr eine aufmerksamere und nachdenklichere Welt"
$39.99
Food Packaging Materials
$219.99
Klausuraufgaben zur doppelten Buchfhrung
$59.99
Green Transportation and New Advances in Vehicle Routing Problems
$139.00
Science by Women
$69.99
Poetry and Pedagogy
$159.99
