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
Recent Advances in Multimedia Signal Processing and Communications
$129.00
Dynamic Response and Deformation Characteristic of Saturated Soft Clay under Subway Vehicle Loading
$109.99
Mars
$39.99
360-Beurteilung und Persnlichkeitstest in der Fhrungsbeurteilung
$34.99
The One Day House
$21.95
Isotope Geology of the Norilsk Deposits
$139.99
Geschichte der neueren Sprachwissenschaft
$69.99
Variational and Monotonicity Methods in Nonsmooth Analysis
$59.99
Excitatory-Inhibitory Balance
$129.00
Transcriptional Corepressors: Mediators of Eukaryotic Gene Repression
$169.99
Programming Paradigms in Graphics
$54.99
Kardiovaskulre und rheumatische Erkrankungen beim alternden Menschen
$59.99
Dynamik im Marketing
$69.99
Turbulent Shear Flows 4
$129.00
Design, Modeling and Testing of Data Converters
$129.00
The Language of the Teenage Revolution
$44.99
Emerging and Traditional Technologies for Safe, Healthy and Quality Food
$109.99
Berufsverstndnis und Professionalisierung von Schulleitern
$74.99
Strategische Marketing-Frherkennung auf Investitionsgtermrkten
$59.99
Introduction to Vertex Operator Superalgebras and Their Modules
$169.99
Robust Control of Uncertain Dynamic Systems
$54.99
Research in Computational Molecular Biology
$49.99
Manual der Chirurgischen Krebstherapie
$59.99
Kollektives Gedchtnis und Erinnerungskulturen
$29.99
Analytical Uses of Immobilized Biological Compounds for Detection, Medical and Industrial Uses
$169.00
A History of Physics: Phenomena, Ideas and Mechanisms
$169.99
Kleist-Jahrbuch 2006
$39.99
Faktencheck Nachhaltigkeit
$29.99
Bioreactors and Biotransformations
$219.99
Fuzzy Systems
$169.00
Financial Markets Theory
$119.99
Klinische Psychologie und Psychotherapie
$17.99
Human Adaptation to Extreme Stress
$219.99
Parteijugend in Deutschland
$59.99
E-Voting and Identity
$39.99
Hocheskalierte Elternkonflikte nach Trennung und Scheidung
$17.99
Dostoevsky's Greatest Characters
$54.99
Psychic Dependence
$39.99
Models for Smooth Infinitesimal Analysis
$169.99
Time: A Philosophical Analysis
$84.99
