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
Open Problems in Strongly Correlated Electron Systems
$109.99
Wettbewerbsrecht - Schnell erfasst
$19.95
Ruby's Birds
$6.71
Blind Identification of Structured Dynamic Systems
$159.99
The Western Edge
$84.99
From Hesiod to Saussure, From Hippocrates to Jevons: Volume II
$129.99
Die deutsche Seefischerei
$59.99
Die antero-laterale Rotationsinstabilitt des oberen Sprunggelenkes
$84.99
Our Fragile Water Planet
$54.99
Medical Missionaries and Colonial Knowledge in West Africa and Europe, 1885-1914
$59.99
Boards and Spreads: Shareable, Simple Arrangements for Every Meal by Yasmin Fahr
$24.00
Polynomial Functional Dynamical Systems
$54.99
Stability, Approximation, and Decomposition in Two- and Multistage Stochastic Programming
$39.99
Urban Ecology
$139.99
The Rational Software Engineer
$44.99
Finance: The Discreet Regulator
$109.99
Who is Hatching?
$3.71
User Modeling, Adaption, and Personalization
$54.99
The Statesman's Year-Book 1964-65
$99.00
Versicherungspltze in Deutschland
$74.99
Phase diagrams and ceramic processes
$74.99
Marketing macht Mrkte
$69.99
Kleine Handelskunde
$59.99
Cancer Chemoprevention
$169.99
Globular Clusters - Guides to Galaxies
$84.99
Internationale Arbeitstagung Gallenweg-Infektionen
$59.99
The Asian City: Processes of Development, Characteristics and Planning
$169.00
Debatten zwischen Staaten
$44.99
Political Economy of Malaysias Industrial Policy
$99.99
Discrete and System Models
$129.99
Was treibt die Digitalisierung?
$49.99
Sizilien
$49.99
Identittsarbeit beim bergang in die Pension
$74.99
The Use of First and Second Language in Chinese University EFL Classrooms
$54.99
Optical Cavities for Optical Atomic Clocks, Atom Interferometry and Gravitational-Wave Detection
$84.99
Can You See What I See? On A Scary Scary Night (Hardcover)
$11.24
Amino Acid Fermentation
$299.00
Virtuelle Universitt
$19.99
Geopolitics, Development, and National Security
$54.99
Intelligent Data analysis and its Applications, Volume II
$219.99
