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
Management of Acute Coronary Syndromes
$219.99
Alien Audiences
$39.99
Statistics on Special Manifolds
$249.99
The Dragon Prince Graphic Novel: Puzzle House
$9.74
Building Back Better After the 2015 Nepal Earthquake
$139.99
Margaret Atwood: Writing and Subjectivity
$37.99
Lasertechnik fr die Fertigung
$149.00
Stochastic Image Processing
$84.99
Malware Analysis Using Artificial Intelligence and Deep Learning
$149.00
Sports Journalism and Women Athletes
$59.99
Rethinking Productivity in Software Engineering
$59.99
Modelling and Optimization of Biotechnological Processes
$109.99
Architectural Space and the Imagination
$89.00
Die Flechten
$59.99
Fictions of the Press in Nineteenth-Century France
$119.99
Transactions on Data Hiding and Multimedia Security II
$39.99
Elektronik freier Raumladungen
$59.99
Fractal Geometry and Computer Graphics
$109.99
Schneiden und Stanzen
$54.99
Grundstze ordnungsmiger Modellierung
$139.99
Zentrale Filmografie Politische Bildung
$59.99
History of Mathematics
$39.99
Euklids Wohnzimmer
$29.99
American Ambassadors
$37.99
Graphene-Based Polymer Nanocomposites
$54.99
Classical Mechanics
$249.99
Erwerbschancen von Bachelor- und Master-Absolventen in der Wirtschaft
$74.99
The Development of Logic in Adulthood
$109.99
Economics of Grids, Clouds, Systems, and Services
$72.00
Lower Abdominal and Perineal Surgery
$109.99
Erlebniswelten und Tourismus
$39.99
Take the Shot (Play the Game #2)
$5.99
Beziehungen zwischen Konsumenten und Marken
$79.99
JIMD Reports, Volume 37
$109.99
Education and the Political Order
$14.99
Heavy Metal Stress in Plants
$169.99
Deformation and Fracture of High Polymers
$84.99
Approximation auf dem Kubischen Gitter
$59.99
Die soziale Konstitution der Umwelt
$49.99
Mathematical Modeling and Scale-Up of Liquid Chromatography
$109.99
