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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Geographies of Forced Eviction
$89.99
Achtsames Prozessmanagement
$64.99
Anstze eines Global Health Systems oder Krisenmanagement in der COVID-19 Pandemie
$64.99
GIS and Remote Sensing Techniques in Land- and Water-management
$89.00
Georeferenziertes Disponieren mit nutzerfreundlichen, mobilen und stationren Multi-Touch-Systemen
$49.99
The Behavioral Neuroscience of Drug Discrimination
$109.99
Lee y Aprende: La Biblia (Hardcover)
$11.24
Hmatologische Zytologie der Speicherkrankheiten
$79.99
Smart Materials and Structures
$299.99
Who You Think I Am?
$29.99
Beuluntersuchungen an hyperbolischen Rotationsschalen
$59.99
Diskriminierung
$54.99
Computational Intelligence in Economics and Finance
$219.99
Willens- und Erklrungstheorie bei Steuerverwaltungsakten
$64.99
Reformations of the Body
$54.99
Humor, Laughter and Human Flourishing
$49.99
Plant Responses to Nanomaterials
$179.99
Charge and Field Effects in Biosystems2
$84.99
Bewegung und Beugung des Sinns
$39.99
Getting Started with the Uno Platform and WinUI 3
$64.99
Proceedings of First International Conference on Information and Communication Technology for Intell
$219.99
Mental Health and Wellbeing in the Anthropocene
$89.99
Functional Analysis Methods for Reliability Models
$54.99
Simulation and Modeling Methodologies, Technologies and Applications
$129.00
Investigating Nature
$21.75
Utopia, Equity and Ideology in Urban Texts
$139.99
Georessourcen
$44.99
Optimale nichtlineare Preise fr zweiseitige Mrkte
$69.99
Gutachtenkolloquium 13
$84.99
Laid-Off Workers in a Workers State
$54.99
The Stress Response of Critical Illness: Metabolic and Hormonal Aspects
$109.99
Industrial Investment in Europe: Economic Theory and Measurement
$39.99
Sustainable Agriculture Reviews 49
$169.99
Deleuze and Buddhism
$129.99
Etanercept - Therapeutische Anwendungen in Klinik und Praxis
$17.99
Data Management in Cloud, Grid and P2P Systems
$44.99
IoT/AI Control of VRF Distributed Building Air-Conditioners
$119.00
Care and Coercion
$129.99
Feeding Beef Cattle
$84.99
Handbuch zur Erkundung des Untergrundes von Deponien und Altlasten
$179.00
