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
Shakespeare and Conceptual Blending
$109.99
Nature-Inspired Algorithms for Optimisation
$169.00
Chinese Kite Festival
$6.71
Von der Autonomie des Klangs zur Heteronomie der Musik
$49.99
Medical Education and Sociology of Medical Habitus: Its not about the Stethoscope!
$84.99
Network Games, Control, and Optimization
$109.99
A Concise Introduction to Models and Methods for Automated Planning
$29.99
Dislocation and Degradation of Proteins from the Endoplasmic Reticulum
$129.00
Atlas of Pathological Computer Tomography
$74.99
Mechanics and Related Processes in Structured Agricultural Soils
$169.99
Religious Education
$39.99
Foundations of Logico-Linguistics
$54.99
Oxidative Stress and Signal Transduction
$169.00
Schlsselfaktoren im E-Commerce
$17.99
Web Technologies and Applications
$54.99
The Japanese Family System
$79.99
Der Sozialstaat an der Jahrtausendwende
$52.66
Sekretariatskunde mit EDV
$44.99
Kommunalpolitik in den deutschen Lndern
$49.99
The Legacy of Mario Pieri in Foundations and Philosophy of Mathematics
$179.99
Das Management von Dilemmata
$49.99
La pequea locomotora que's pudo
$23.95
Climatic Change at High Elevation Sites
$169.99
Towards a Science of Belief Systems
$44.99
Handbook of Outpatient Medicine
$129.00
Exzellenz in Dienstleistung und Vertrieb
$49.99
Obsessive-Compulsive Disorder
$109.99
Computer and Computing Technologies in Agriculture IX
$84.99
Blockchain and Web3.0 Technology Innovation and Application
$79.99
Current Management of Melanoma
$54.99
Wo Steckt der Fehler?
$49.99
Fostering Institutional Development and Vital Change in Africa and Asia
$169.99
Encyclopedia of Quality of Life and Well-Being Research
$4,499.99
Cardiac Repolarization
$109.99
Multiaccess, Reservations & Queues
$84.99
Gene Engineering in Endocrinology
$219.99
The Light in Hidden Places (Hardcover)
$14.24
Quadrature Domains and Their Applications
$129.00
Inclusive Design for a Digital World
$44.99
7th International Conference on Automated Deduction
$109.99
