Copied Interactive Theorem Proving
Interactive Theorem Proving
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.
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
Startup
$27.99
Die Moscheefhrung
$69.99
The ILO from Geneva to the Pacific Rim
$54.99
Socialization, Moral Judgment, and Action
$109.99
Politikkompetenz
$59.99
Kants Ethics and the Same-Sex Marriage Debate - An Introduction
$79.99
Innovationspotential und Hochtechnologie
$54.99
Biogeochemistry of Trace Elements in Coal and Coal Combustion Byproducts
$129.00
Verlauf psychischer Erkrankungen in der Bevlkerung
$54.99
Sustainability in Manufacturing Enterprises
$129.00
Boundary Element Topics
$84.99
Physics, Formation and Evolution of Rotating Stars
$249.99
ber Hochspannungsmessungen
$59.99
The United Nations in the World Political Economy
$84.99
Textbook of Personalized Medicine
$119.99
Lehr-/Lernkulturen in der wissenschaftlichen Weiterbildung
$59.99
Elgin and Churchill at the Colonial Office, 1905-08
$74.99
Naming No Mans Land
$139.99
Legal Engineering in the Supervisory System Reform
$179.99
Health and Welfare of Captive Reptiles
$279.99
Reading Women in Late Medieval Europe
$39.99
ZX Spectrum Maschinencode
$49.99
Regionalisation, Growth, and Economic Integration
$109.99
The Psychological Effects of Aerobic Fitness Training
$109.99
Trauma Responsive Child Welfare Systems
$139.99
Complex Systems Design & Management
$169.00
Die Arithmetik der Leidenschaften
$49.99
HCI and User-Experience Design
$109.99
Physiology and Biochemistry of Plant-Pathogen Interactions
$39.99
Applied Fundamentals in Finance
$139.99
There's No Such: There's No Such Thing as.Mermaids
$5.99
Goethe-Parodien
$39.99
Mathematical Ecology
$54.99
Position and Change
$179.99
Agro and Food Processing Industry in India
$139.99
Magnetoelectronics of Microwaves and Extremely High Frequencies in Ferrite Films
$109.99
Sam and the Firefly by P. D. Eastman
$9.99
Statistical Physics, Automata Networks and Dynamical Systems
$39.99
Ionized Gases
$79.99
Textbook of Shoulder Surgery
$199.99
