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-14
Best Price (Coupon Required):
Buy Automated Deduction - CADE-14 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 strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997. The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.
Reviews
Questions & Answers
Bioorganometallic Chemistry
$169.00
Leading Value Creation
$54.99
Delighting Customers
$84.99
Stochastic Phenomena and Chaotic Behaviour in Complex Systems
$39.99
Der Honorarkonsul
$84.99
Civil War Spies
$5.21
Finanzmarktakteure und Corporate Social Responsibility
$37.99
Voluntary Organisations in the 'Age of Austerity'
$39.99
Post-Keynesian Economic Theory
$84.99
Brewing, Beer and Pubs
$119.99
Multilingual Literacies, Identities and Ideologies
$99.99
Obesity and Metabolic Surgery
$129.99
Die Rechte des Wohnraum- und des Gewerberaummieters zur Realisierung einer Bedarfsnderung
$69.99
Visible Islam in Modern Turkey
$54.99
Model Driven Engineering Languages and Systems
$109.99
Jet-Ventilation
$79.99
Software Product Quality Control
$54.99
Thyroid Diseases in Pregnancy
$169.99
Automobile Exhaust Emission Testing
$84.99
Mathieusche Funktionen und Sphroidfunktionen
$59.99
A Primer on Policy Communication in Kazakhstan
$54.99
Distribution Strategy
$89.99
Max the Duck-I Can Read! Level 1: Ducks in a Row
$4.46
Monotone Games
$44.99
Topical Drug Bioavailability, Bioequivalence, and Penetration
$189.00
Monitoring, Control and Protection of Interconnected Power Systems
$84.99
Zur Theorie der automorphen Funktionen von n Vernderlichen
$49.99
History of Mathematics and Its Contexts
$129.00
Trauma und Burnout in helfenden Berufen
$54.99
Bewerberinterviews sicher und zielgerichtet fhren
$17.99
Negotiating Knowledge in Early Modern Empires
$54.99
IUTAM Symposium on Analytical and Computational Fracture Mechanics of Non-Homogeneous Materials
$329.99
Berkeley Physik Kurs
$69.99
The Millennium Development Goals and Beyond
$54.99
Betriebswirtschaftliches Controlling
$39.99
Free Energy Transduction and Biochemical Cycle Kinetics
$54.99
Rntgendiagnostik der Oberen Speise- und Atemwege, der Atemorgane und des Mediastinums Teil 5a / Roe
$59.99
How Political Actors Use the Media
$129.00
Immigration Policies and the Global Competition for Talent
$109.99
Mergers in Higher Education
$54.99
