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
Rechtsflle fr Studierende der Wirtschaftswissenschaften
$69.99
Neutrino Geophysics
$169.99
Reviews of Environmental Contamination and Toxicology
$39.99
Mechanical Behaviour of Composites and Laminates
$219.99
Compiler Optimizations for Scalable Parallel Systems
$39.99
Advances in Blended Learning
$39.99
Learn OS X Lion
$39.99
Anatomy of Exercise - A Trainer's Inside Guide to Your Workout by Pat Manocchia
$24.95
The Physics of Glassy Polymers
$219.99
Serosal Membranes (Pleura, Pericardium, Peritoneum)
$84.99
The People's Game?
$169.99
The European Antarctic
$84.99
Maintenance Time and the Industry Development of Patents
$109.99
Lectures on Geometry
$69.99
Neuropsychological Toxicology
$219.99
Taurine in Health and Disease
$169.99
Gravity, Geoid and Earth Observation
$169.00
My Books Summer Spanish Grade PreK Fiction - Classroom Set
$795.00
The Clubfoot
$129.00
Image Analysis and Processing -- ICIAP 2011
$39.99
NATO Fair Trial Safeguards: Precursor to an International Bill of Procedural Rights
$54.99
Handbook of Vocational Rehabilitation and Disability Evaluation
$99.00
Internet of Things in Smart Sewer and Drainage Systems
$159.99
Psychotherapie mit psychotischen Menschen
$89.99
Exploring Mishnah's World(s)
$129.99
Smart Cities
$89.99
Psychotherapie in der Psychiatrie
$84.99
The Sol to Gel Transition
$44.99
Metrosexual Masculinities
$54.99
Advances in GIScience
$219.99
Einfhrung in die Methoden der empirischen Soziologie
$49.99
Researchers at Risk
$159.99
Der Einflu von Verkehrswegeinvestitionen nach dem Gemeindeverkehrsfinanzierungsgesetz auf den inner
$59.99
Handbook of Clinical Nutrition and Stroke
$169.99
Corporate Social Responsibility in Brazil
$109.99
Indicators of Environmental Quality
$54.99
Mitteilungen ber Forschungsarbeiten auf dem Gebiete des Ingenieurwesens
$59.99
Ultra Low Power Capacitive Sensor Interfaces
$109.99
Waste to Energy: Prospects and Applications
$169.00
Deploy Containers on AWS
$69.99
