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
Cross-Cultural Design. Methods, Tools, and Users
$59.99
Remotely Possible
$44.99
Lebenszeiten
$49.99
The Art of Doing Algebraic Geometry
$139.99
Laser Management of Scars
$179.99
FME 2001: Formal Methods for Increasing Software Productivity
$84.99
Molecular Organisation on Interfaces
$84.99
Positioning the Subject
$64.99
Experimental Design and Model Choice
$39.99
Energy Efficient Microwave Systems
$109.99
Halbleiter
$64.99
Die Erkennung Innerer Krankheiten
$59.99
Goodness-of-Fit Tests and Model Validity
$169.99
Mechanism Design for Robotics
$249.99
Gewalt in den Medien Gewalt in der Realitt
$59.99
Database and Expert Systems Applications
$54.99
Computer Security ESORICS 2020
$54.99
Proceedings of Ninth International Congress on Information and Communication Technology
$249.99
Current Views of Fatty Acid Oxidation and Ketogenesis
$169.00
Environmental Policy Analysis for Decision Making
$129.00
Kinder in der flexiblen Schuleingangsphase
$59.99
OPCW: The Legal Texts
$109.99
Electromagnetic Linear Machines with Dual Halbach Array
$99.00
Solar Cells: An Introduction to Crystalline Photovoltaic Technology
$54.99
Ecological Responses at Mount St. Helens: Revisited 35 years after the 1980 Eruption
$79.99
Sustainable Fashion: Consumer Awareness and Education
$99.99
Pornographic Art and the Aesthetics of Pornography
$84.99
Die Verbesserung des Menschen
$79.99
Transformative Education for Regeneration and Wellbeing
$129.00
RoboCup 2008: Robot Soccer World Cup XII
$129.00
Enid Blyton
$22.99
Stable Isotope Techniques in the Study of Biological Processes and Functioning of Ecosystems
$169.99
Modeling of Metal Forming and Machining Processes
$169.00
Dynamic Behavior of Soft and Hard Materials Volume 1
$219.99
Deuteride Materials
$109.99
Peacemaking Strategies in Northern Ireland
$109.99
In Silico Modeling of Drugs Against Coronaviruses
$379.99
Designing Software for the Mobile Context
$54.99
Externally Heated Valve Engine
$109.99
A Field Guide to Tropical Plant Families
$139.00
