Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Interactive Theorem Proving

Interactive Theorem Proving

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642228629
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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