Copied Automated Deduction -- CADE-24
Automated Deduction -- CADE-24
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.
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
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
