Copied Interactive Theorem Proving
Interactive Theorem Proving
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.
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 |
Reviews
Questions & Answers
Advances in Superconductivity VIII
$169.99
From Total Quality Control to Lean Six Sigma
$49.95
Universal Studios Monsters - A Legacy of Horror by Michael Mallory
$45.00
Progress in Cryptology - AFRICACRYPT 2020
$54.99
Calcium and Calcium Binding Proteins
$84.99
Investor Relations Management
$59.99
Der Wiener Kreis und sein philosophisches Spektrum
$74.99
Religion and Identity in the Post-9/11 Vampire
$99.99
Erste Hilfe in der Psychotherapie
$64.99
The Mysterious Benedict Society Mysterious Benedict Society Series #1 by Trenton Lee Stewart
$9.99
Disruptive Analytics
$37.99
Harmonic Analysis of Operators on Hilbert Space
$89.99
Compassion & Caring Grades 3-5
$42.00
The 4th Joint International Conference on Deep Learning, Big Data and Blockchain (DBB 2023)
$179.99
Thyroid Nodules
$109.99
Zwischen Kreisverwaltung und Kreispolitik
$59.99
Artificial Intelligence in China
$129.00
Sunny Makes a Splash
$9.74
International Conference on Communication, Computing and Electronics Systems
$299.99
Neuronavigation and Neuroanatomy
$74.99
An Introduction to Traffic Flow Theory
$79.99
Implizite Vorurteile
$54.99
Edmund Husserls Theorie der Raumkonstitution
$149.99
Representations of Real Numbers by Infinite Series
$29.99
Computer Supported Education
$99.99
Pout-Pout Fish: Pout-Pout Fish: Special Valentine
$4.46
Symmetry and Pairing in Superconductors
$109.99
Drug Development, Regulatory Assessment, and Postmarketing Surveillance
$84.99
Exploring What Drives Indian Stock Market During Covid-19
$49.99
Finite Fields: Theory and Computation
$219.99
Mrkte explorieren
$17.99
Women, Ethics, and Inequality in U.S. Healthcare
$54.99
Schottky Groups and Mumford Curves
$44.99
Blended Learning fr die Unternehmensdigitalisierung
$17.99
Adrenal Glands
$89.00
Synthetic Biology and iGEM: Techniques, Development and Safety Concerns
$149.00
Energie in 60 Minuten
$19.99
Advances in Plant Microbiome and Sustainable Agriculture
$219.99
The Tryout
$9.74
Technischer Vertrieb
$64.99
