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
Beginning OS X Lion Apps Development
$39.99
Arithmetic and Geometry Around Hypergeometric Functions
$139.99
Analysis
$39.99
Vortrge der Jahrestagung 1972 DGOR / Papers of the Annual Meeting 1972
$59.99
Integrated Formal Methods
$39.99
Knowledge Graph and Semantic Computing: Semantic, Knowledge, and Linked Big Data
$39.99
Multivariate Statistik
$49.99
Traffic Control and Transport Planning:
$219.99
Dynamic and Precise Engineering Surveying
$249.99
International Handbook of Mathematics Education
$999.99
Netzplantechnik
$59.99
Allgemeine Rntgenkunde
$59.99
Freeing Ourselves
$49.99
Artificial Intelligence
$109.99
Logistik
$29.99
United Nations, Unesco and the Politics of Knowledge
$54.99
Lehrbuch der Algebra
$59.99
Handbook of Machine Learning Applications for Genomics
$189.00
Trauma and Miscellaneous Disorders in Retina
$109.99
Durchblutungsstrungen
$34.99
Ellray Jakes Rocks the Holidays!
$3.71
Carbon Dioxide Capture: An Effective Way to Combat Global Warming
$54.99
The MassGeneral Hospital for Children Adolescent Medicine Handbook
$69.99
Coherence Phenomena in Atoms and Molecules in Laser Fields
$39.99
Beginning Game Programming with Pygame Zero
$54.99
Migration, Whiteness, and Cosmopolitanism
$89.99
Soviet-Third World Relations in a Capitalist World
$54.99
Sapphire
$219.99
Rifted Ocean-Continent Boundaries
$39.99
Norms over Force
$54.99
Resource Management in Rice Systems: Nutrients
$129.00
Neural Mechanisms of Startle Behavior
$169.99
Metropolitanization and Political Change
$54.99
Cardiovascular Disease in AIDS
$169.99
Heine-Jahrbuch 2005
$29.99
Microorganisms in Biorefineries
$169.99
Lesser Flamingos
$54.99
Safety Issues Associated with Plutonium Involvement in the Nuclear Fuel Cycle
$199.99
Natur und Erkenntnis
$79.99
Brittle Deformation of Solid and Granular Materials with Applications to Mechanics of Earthquakes an
$54.99
