Copied Interactive Theorem Proving
Interactive Theorem Proving
This book constitutes the refereed proceedings of the Second International Conference on Interactive Theorem proving, ITP 2011, held in Berg en Dal, The Netherlands, in August 2011. The 25 revised full papers presented were carefully reviewed and selected from 50 submissions. Among the topics covered are counterexample generation, verification, validation, term rewriting, theorem proving, computability theory, translations from one formalism to another, and cooperation between tools. Several verification case studies were presented, with applications to computational geometry, unification, real analysis, etc.
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
Oxidative Stress in Cancer Biology and Therapy
$139.00
Information Systems Engineering
$84.99
Hierarchical Type-2 Fuzzy Aggregation of Fuzzy Controllers
$54.99
Smart Success
$44.99
Living in a Seasonal World
$219.99
Novel Chemical Effects of Electronic Behaviour
$84.99
State of the Art in Computer Graphics
$129.00
Pressevertrieb in Europa
$59.99
Pro PowerShell for Microsoft Azure
$69.99
Archaeological Ambassadors
$119.99
Music as the Source of Learning
$54.99
Mechanical Behaviour of Materials
$109.99
Integration of Spatial Information for Geo-Information Systems
$74.99
Gut Feeling and Digestive Health in Nineteenth-Century Literature, History and Culture
$139.99
Menschen im Weltraum
$29.99
Survival Skills for Thesis and Dissertation Candidates
$69.99
Fact & Opinion Grade 3 Differentiation Pack
$5.99
Klinische Onkologie
$74.99
Moderne Probleme der Pflanzensystematik
$59.99
Learning the Secrets of English Verse
$69.99
Grab and Go Pack Theme 1: Favorite Books Grade 2 Spanish
$29.95
Relativity in Celestial Mechanics and Astrometry
$109.99
Der Lebenssinn der Industriegesellschaft
$39.99
Ecosystems Without Borders
$179.99
Venture Capital and the European Biotechnology Industry
$109.99
Zwischen Anpassung und Konfrontation
$74.99
Die Erkrankungen des Rckens
$44.99
Constitutional Literacy
$54.99
Linear Algebra and Group Theory for Physicists and Engineers
$44.99
Portfoliomanagement II
$44.99
Emerging Trends in Cybersecurity Applications
$89.00
Plotinus Psychology
$109.99
Calculus for Cognitive Scientists
$169.99
Economic, Social and Cultural Rights
$109.99
Altlastenbearbeitung
$69.99
Hacking Health
$37.99
Molecular Diagnostics
$139.99
Ursachen und Konsequenzen der Finanzkrise
$64.99
Vernetztes Risiko- und Nachhaltigkeitsmanagement
$89.99
Bunyaviridae
$109.99
