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

Automated Deduction -- CADE-24

Automated Deduction -- CADE-24

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

This book constitutes the proceedings of the 24th International Conference on Automated Deduction, CADE-24, held in Lake Placid, NY, USA, in June 2013. The 31 revised full papers presented together with 2 invited papers were carefully reviewed and selected from 71 initial submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, ranging from theoretical and methodological issues to the presentation of new theorem provers, solvers and systems.

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

Exercise Testing

$109.99

Natural Living Style: Inspirational Ideas for a Beautiful and Sustainable Home by Selina Lake

$29.95

Power Engineering and Intelligent Systems

$299.99

Computer Algebra

$29.99

Distributed Event-triggered Control

$159.99

Random Media at Saint-Flour

$54.99

Symmetrien und Gruppen in der Teilchenphysik

$59.99

Global Ecodynamics

$169.99

Baryonic Dark Matter

$39.99

Progress in Ultrafast Intense Laser Science XV

$99.00

The Lymnaeidae

$199.99

Polytropes

$259.00

There Was an Old Lady Who Swallowed Fly Guy (Fly Guy #4) (Hardcover)

$5.24

Investitionstheorie und Investitionspolitik privater und ffentlicher Unternehmen

$69.99

Hochstromkohlebogen

$59.99

Political Efficacy Reliabilitt und Validitt

$39.99

Product-Oriented Environmental Management Systems (POEMS)

$169.99

Discrete Geometry for Computer Imagery

$54.99

The Effects of Emigration from Yugoslavia and the Problems of Returning Emigrant Workers

$54.99

Ambulatory Gynecology

$129.99

Nutritional Improvement of Food and Feed Proteins

$109.99

Applied Mathematics for Environmental Problems

$109.99

Multiplex Biomarker Techniques

$109.99

Philosophie des Computerspiels

$59.99

Detox Fashion

$39.99

Multi-Agent-Based Simulation XIV

$44.99

The Dawn Mission to Minor Planets 4 Vesta and 1 Ceres

$169.00

Coordination Models and Languages

$54.99

Citing Shakespeare

$54.99

Virtualization

$69.99

Quality of Information and Communications Technology

$89.99

The Lines We Cross

$9.74

Transhumanism and the Body

$39.99

David McCarter's VB Tips and Techniques

$27.95

Macht und Einfluss

$54.99

Immobilized Catalysts

$329.99

Interactive Staff Training

$109.99

Diophantine Analysis

$59.99

Vertical Brand Portfolio Management

$54.99

Film Remakes, Adaptations and Fan Productions

$39.99