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-12
Best Price (Coupon Required):
Buy Automated Deduction CADE-12 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 volume contains the reviewed papers presented at the 12th International Conference on Automated Deduction (CADE-12) held at Nancy, France in June/July 1994. The 67 papers presented were selected from 177 submissions and document many of the most important research results in automated deduction since CADE-11 was held in June 1992. The volume is organized in chapters on heuristics, resolution systems, induction, controlling resolutions, ATP problems, unification, LP applications, special-purpose provers, rewrite rule termination, ATP efficiency, AC unification, higher-order theorem proving, natural systems, problem sets, and system descriptions.
Reviews
Questions & Answers
Principles and Applications of Hydrochemistry
$39.99
Planimetrie
$59.99
Berufliches Selbstverstndnis, Beanspruchung und Bewltigung in der Schulleitung
$74.99
Analyzing Education, Sustainability, and Innovation
$39.99
Hybrid Artificial Intelligent Systems
$39.99
Engineer of the XXI Century
$129.00
Cash Flow Cash Management
$59.99
Metathinking
$84.99
Icebreaker
$6.74
Variable-Structure Systems and Sliding-Mode Control
$169.99
General Equilibrium Analysis
$109.99
Return Migration Decisions
$89.99
Clues in the Diagnosis of Non-tumoral Testicular Pathology
$199.99
Analysis of Environmental Policy in the Power Sector
$119.00
Hepatic Metabolism and Disposition of Endo- and Xenobiotics
$219.99
Hysteresis and Phase Transitions
$109.99
Computer Security - ESORICS 2014
$54.99
The Porcupine of Truth (Hardcover)
$13.49
SMIL 3.0
$54.99
Wide-Field Spectroscopy
$54.99
America's Confrontation with Revolutionary Change in the Middle East, 1948-83
$54.99
Praxishandbuch Forderungsmanagement
$69.99
Weiterbildung fr Ansthesisten 2002
$69.99
Interpersonal Relationships in Education: From Theory to Practice
$49.99
The Theory of Nationalisation
$109.99
University Pathway Programs: Local Responses within a Growing Global Trend
$84.99
Reframing the Body
$54.99
Laser Scanning: Update 1
$129.00
Knnen Staaten voneinander lernen?
$54.99
Moderate Sedation and Emergency Medicine for Periodontists
$139.99
Educational Leaders Without Borders
$109.99
Studien- und Berufserfolg von Hochschulabsolventen mit unterschiedlichen Studieneingangsvoraussetzun
$59.99
Sterilization and Preservation
$119.99
Advances in Computer Science for Engineering and Manufacturing
$199.99
Statistische Methoden II
$59.99
Hereditary Breast and Ovarian Cancer
$89.00
Das Bild der Frau in Federico Garca Lorcas dramatischen Werken als Weiterentwicklung einer Konstant
$39.99
Posterior Hip Disorders
$159.99
Image-Based Modeling of Plants and Trees
$19.99
Digitale Bildcodierung
$69.99
