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-25
Best Price (Coupon Required):
Buy Automated Deduction - CADE-25 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 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.
Reviews
Questions & Answers
Intracellular Parasites
$219.00
Schwierige Persnlichkeiten und Vernderung
$89.99
Begabtenfrderung im Gymnasium
$59.99
Clinical Cardiac MRI
$139.00
Learning-Centred Leadership in Higher Education
$54.99
The Aerodynamics of Heavy Vehicles: Trucks, Buses, and Trains
$169.00
Debating Development Discourse
$39.99
Encyclopedia of South American Aquatic Insects: Odonata - Zygoptera
$329.99
Mineral Processing at a Crossroads
$219.99
Time-Sensitive Remote Sensing
$109.99
Algorithms for Sensor Systems
$39.99
Recombinant Protein Drugs
$169.99
Pictures and their Use in Communication
$109.99
Applied Cryptography and Network Security
$109.99
Konflikte in Projekten
$49.99
Distributed .NET Programming in C#
$49.95
Die Gewerkschaften im Wohlfahrtsstaat
$59.99
Evaluation and Explanation in the Biomedical Sciences
$54.99
'Ndrangheta
$79.99
Non-Neuronal Mechanisms of Brain Damage and Repair After Stroke
$169.99
The Art Lesson: 6-Book Set
$30.95
Springer Umweltlexikon
$59.99
Die Linsenoptik in der Schule
$54.99
Theoretische Meteorologie
$69.95
The Memory of State Terrorism in the Southern Cone
$54.99
Kompetenz und/oder Zustndigkeit
$79.95
Clinical Anesthesiology II
$129.99
Chancen einer nachhaltigen IT
$29.99
The Dynamics and Evolution of Social Systems
$169.99
Information Systems in the WWW Environment
$119.00
Cancer Chemoprevention
$219.99
Toxin-Induced Models of Neurological Disorders
$109.99
Biegung mit Erhaltung konjugierter Systeme
$54.99
Safety, Environmental Impact, and Economic Prospects of Nuclear Fusion
$39.99
Lehrbuch der Nomographie
$69.95
Roberts Academic Medicine Handbook
$99.00
Legitimation in the European Union
$84.99
Primary Care Procedures in Women's Health
$79.99
Frontiers of Nonequilibrium Statistical Physics
$39.99
Fish Processing Technology
$279.99
