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-13
Best Price (Coupon Required):
Buy Automated Deduction - Cade-13 for $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
Reviews
Questions & Answers
Biology of Pericytes Recent Advances
$159.99
Security Protocols
$39.99
Helical Wormlike Chains in Polymer Solutions
$74.99
Algorithms - ESA 2001
$39.99
Oxidative Stress in Lung Diseases
$219.99
The Salience of Marketing Stimuli
$169.99
Pocket Manual of General Thoracic Surgery
$89.00
Wissenschaftlicher Briefwechsel mit Bohr, Einstein, Heisenberg u.a. Band IV, Teil I: 19501952 / Sci
$64.99
Weiterbildung Notfallmedizin
$29.99
Lectures on Quantum Field Theory and Functional Integration
$79.99
Deontic Logic in Computer Science
$49.99
Applied Statistics for Business and Management using Microsoft Excel
$109.99
Tensors
$169.99
Vertrauen durch Transparenz
$64.99
Rechtliche Grenzen des Brand Placement
$74.99
Quantitative Marketing-Logistik
$39.99
Psychological and Behavioral Assessment
$39.99
Number Theory for Beginners
$89.99
Internet of Things Security: Principles and Practice
$69.99
Mathematical techniques in crystallography and materials science
$54.99
Integral Methods in Science and Engineering
$39.99
Supercarbon
$219.99
Handbuch der Normalen und Pathologischen Physiologie
$59.99
Computer Safety, Reliability, and Security
$54.99
Arms Markets and Armament Policy
$39.99
Mensch & Computer 2001
$39.99
Citizenship in an Enlarging Europe
$39.99
The Economic Dimensions of Crime
$39.99
Translated and Visiting Russian Theatre in Britain, 19452015
$99.99
The Companion to Raymond Aron
$109.99
Materialwirtschaft und Einkauf
$69.99
Geostatistics for Environmental Applications
$249.99
Thermal Analysis in the Geosciences
$84.99
Religious Speciation
$119.99
Leben bleibt rtselhaft
$9.99
Gruppenarbeiten vorbereiten und moderieren
$17.99
Detectors in Heavy-Ion Reactions
$39.99
Sean OCasey
$59.99
The Italian War on the Eastern Front, 19411943
$79.99
Cyber-Security for Smart Grid Control
$169.00
