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
Zwischen Faszination und Verteufelung: Chemie in der Gesellschaft
$44.99
Industry 4.0
$199.99
Challenges in Mechanics of Time Dependent Materials, Mechanics of Biological Systems and Materials &
$249.99
Transnational Transfers and Global Development
$54.99
Irrigation in the Mediterranean
$109.99
Proceedings of International Conference on Wireless Communication
$169.99
How to Trick a Christmas Elf
$3.71
Contemporary Peacemaking
$79.99
Primer on Nephrology
$54.99
Surgery of Spinal Cord Tumors Based on Anatomy
$89.00
Changing Concepts of Contract
$109.99
Biotechnological Approaches to Barley Improvement
$169.99
Queer Writing
$39.99
Image-Based Teaching
$159.99
The Political Economy of Geoeconomics: Europe in a Changing World
$99.00
Mountain Lexicon
$199.99
Flchentransistoren
$44.99
Advances in Signal Processing and Intelligent Recognition Systems
$169.99
Middle Eastern and African Perspectives on the Development of Public Relations
$54.99
Explorations in Technology Education Research
$139.99
Ingenieure und sozialvertrgliche Technikgestaltung
$69.95
Forest site and productivity
$39.99
Bad Guys in The One?! (The Bad Guys #12)
$5.24
Lung Cancer and Personalized Medicine: Novel Therapies and Clinical Management
$84.99
Vulnerability of Watersheds to Climate Change Assessed by Neural Network and Analytical Hierarchy Pr
$54.99
Quick Guide Usability
$39.99
Vorlesungen ber hhere Mathematik
$49.99
Russian and Soviet Health Care from an International Perspective
$119.99
Surviving the Machine Age
$79.99
Agents and Data Mining Interaction
$39.99
Die Absatztechnik der amerikanischen industriellen Unternehmung
$59.99
Pregnancy and Birth After Assisted Reproductive Technologies
$54.99
Perturbation Theory for Linear Operators
$59.99
Laser Surface Treatment of Metals
$39.99
Digital Resources for Learning
$99.99
Alkohol und Schuldfhigkeit
$74.99
Philosophies of Nature: The Human Dimension
$169.99
Fuzzy Mathematical Analysis and Advances in Computational Mathematics
$149.00
Protection of Civilian Infrastructure from Acts of Terrorism
$219.99
Handbuch Industrie 4.0 und Digitale Transformation
$119.99
