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
Periphere Leitungsbahnen II Centrales Nervensystem Sinnesorgane
$69.99
Asymptotics in Statistics
$219.99
Die Innenrevision im Industriebetrieb
$59.99
Radar Principles for the Non-Specialist
$79.99
Culturally Responsive Collection: Disability and Neurodiversity Grades 3-5
$250.00
Algorithms and Solutions Based on Computer Technology
$199.99
MATLAB for Engineers Explained
$54.99
Differential Geometric Structures and Applications
$169.99
Sterben? Am liebsten pltzlich und unerwartet.
$49.99
Register of Defunct Companies
$74.99
Leveraging Applications of Formal Methods
$54.99
Der (Mehr-)Wert der Zwei-Elternteil-Familie
$39.99
Urban Transportation Energy Supply Network
$169.99
Taking Nature Into Account
$24.99
Temporary Workers or Future Citizens?
$84.99
Understanding Survey Methodology
$69.99
Piracy and Privateering in the Golden Age Netherlands
$109.99
Natural Resources and Control Processes
$129.00
Optics in Astrophysics
$139.00
Family Life in Old Age
$109.99
Entwicklung einer nachhaltigkeitsorientierten Rohstoffbewertung zur Untersttzung von Entscheidungsp
$59.99
Quantum-Enhanced Nonlinear Spectroscopy
$109.99
The Psychology of Asian Learners
$84.99
Complex Networks and Their Applications VII
$219.99
Sozialisationsprozesse von mnnlichen Nachwuchsleistungssportlern in Sportinternaten
$59.99
Adult Development, Therapy, and Culture
$84.99
Atlas of Interventional Cardiology
$99.00
Die Kreditvergabeentscheidung der Banken
$59.99
Zum algebraischen Gleichheitsverstndnis von Grundschulkindern
$49.99
Die Geburt aus ethnomedizinischer Sicht
$64.99
Herzschrittmacher
$84.99
The calcitonin gene-related peptide family
$129.00
Corporate Governance in a Globalising World: Convergence or Divergence?
$84.99
Rassenmythos und Sozialwissenschaften in Deutschland
$49.99
The Politics of Education Reforms
$84.99
Innovationen an der Schnittstelle zwischen technischer Dienstleistung und Kunden 2
$89.99
Elements for a Theory of Decision in Uncertainty
$169.99
Kosmische Strahlung II / Cosmic Rays II
$109.99
Job Market Signaling in Public Administration
$109.99
OCDaniel
$6.71
