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
Quality Assurance Program on Stereotactic Radiosurgery
$109.99
Now I Know: Bears
$4.46
Food Hygiene, Microbiology and HACCP
$39.99
Diskriminierungssensible Psychotherapie und Beratung
$39.99
Demokratietheorie und politische Institutionen
$69.99
Knowledge Discovery, Knowledge Engineering and Knowledge Management
$109.99
Sacajawea
$4.46
International Capital Movements
$44.99
Black Women's Wellness: Your "I've Got This!" Guide to Health, Sex, and Phenomenal Living by Melody T. McCloud Md
$26.99
Klinische Pathophysiologie der Atmung
$59.99
Coping with Trade Reforms
$109.99
Research in History and Philosophy of Mathematics
$109.99
Frankenstein Doesn't Plant Petunias: A Graphix Chapters Book (The Adventures of the Bailey School Kids #2) (Hardcover)
$17.24
Antituberculosis Drugs
$84.99
Advanced Lectures on Networking
$39.99
Audiovisual Translation in the Digital Age
$54.99
Berechenbarkeit der Welt?
$64.99
Learn Sprite Kit for iOS Game Development
$39.99
Human Lactation 3
$129.00
Proceedings of 5th International Conference on Advanced Manufacturing Engineering and Technologies
$129.00
Rappy the Raptor
$5.21
MHC Ligands and Peptide Motifs
$84.99
Capillary Electrophoresis of Nucleic Acids
$129.00
The Spiritual History of Ice
$64.99
Managing Contract Manufacturing Relationships
$99.99
Standardsoftware
$69.99
Habermas, Foucault and the Political-Legal Discussions in China
$109.00
Biosafety of Forest Transgenic Trees
$169.99
Protein-Calorie Malnutrition
$39.99
Angewandte Virtuelle Techniken im Produktentstehungsprozess
$109.00
Changes in Censuses from Imperialist to Welfare States
$84.99
Cancer Therapeutics
$219.99
Multicomponent Flow Modeling
$189.00
Das operative Management von Produktionsunternehmungen
$69.99
Three Times Lucky
$7.46
The Physics of Fullerene-Based and Fullerene-Related Materials
$169.99
Forms of Mathematical Knowledge
$109.99
Linear Control Systems
$189.00
The Future of East Asia
$84.99
Architectural Intelligence
$169.99
