Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Automated Deduction -- CADE-24
Best Price (Coupon Required):
Buy Automated Deduction -- CADE-24 for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
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 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
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.
Reviews
Questions & Answers
Modeling Dynamic Climate Systems
$54.99
Analytische Untersuchungen zur Technologie der Kugelbearbeitung
$69.99
Fundamentals of Powder Diffraction and Structural Characterization of Materials, Second Edition
$119.99
In-Vitro Diagnostic Devices
$84.99
Lawyers, the State and the Market
$109.99
Gleitlager Wellendichtungen
$84.99
Automated Solution of Differential Equations by the Finite Element Method
$99.00
Discrete Tomography
$169.99
Presynaptic Terminals
$109.99
Wings of Fire: The Flames of Hope (Hardcover)
$12.74
Die Unruhe Des Anfangs
$89.00
Essays in Constructive Mathematics
$109.00
Representations of Peace and Conflict
$54.99
Advanced Intelligent Computing Technology and Applications
$79.99
Bevlkerung Familie Sozialstaat
$59.99
Alcohol and Sexual Violence
$139.99
The Informal Powers of Western European Presidents
$129.99
Exploring the Early Universe with Gravitational Waves
$109.99
Integrated Design Engineering
$149.00
Quantized Phenomena of Transport and Magneto-Optics in Magnetic Topological Insulator Heterostructur
$139.00
Die Pumpen
$59.99
Phonics Playlets: Short Vowels
$10.49
Mary Anne's Bad Luck Mystery: A Graphic Novel (The Baby-sitters Club #13) by Ann M. Martin
$12.99
The Valuative Tree
$39.99
Kompendium Orthopdische Bildgebung
$109.00
Neurobiological and Psychological Aspects of Brain Recovery
$149.00
Electromagnetic Theory of Gratings
$84.99
Photomorphogenesis in Plants
$74.99
Moral Psychology
$129.00
Wie hast Dus mit der Wahrheit?
$64.99
Video Processing and Computational Video
$54.99
Promises to Keep
$5.83
Photonic Slot Routing in Optical Transport Networks
$109.99
Techniques in Forage Quality Analysis
$129.00
Der Chefredakteur im Lokalfunk
$49.99
Advanced Methods for Geometric Modeling and Numerical Simulation
$159.99
Studies on the Anatomy and Function of Bone and Joints
$39.99
The Age of Hypochondria
$39.99
Advances in X-Ray Analysis
$84.99
Calcium-Antagonismus
$79.99
