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
Vom Material zur Produktinnovation
$17.99
Why Every Fly Counts
$29.99
Practicing Servant Leadership
$179.99
Family Therapy in Global Humanitarian Contexts
$59.99
Deleuze and the Schizoanalysis of Dystopia
$54.99
B Johnson and Post-War Literature
$39.99
New Directions in Affective Disorders
$39.99
Critical Pedagogy and Marx, Vygotsky and Freire
$109.99
Metamaterial-Based Optical and Radio Frequency Sensing
$169.99
Alkaline-Earth Metal Compounds
$219.99
Diagnostic Imaging in Polytrauma Patients
$109.00
Proceedings of the 11th International Conference of Ar.Tec. (Scientific Society of Architectural Eng
$379.99
Zehnte sterreichische rztetagung Wien
$59.99
An Economic Analysis of Severe Industrial Hazards
$84.99
The Coronavirus Crisis and Challenges to Social Development
$199.99
Mediating Institutions
$109.99
Security Technology, Disaster Recovery and Business Continuity
$39.99
Bioinformatics
$64.99
Vom kreativen Chaos zum professionellen Management
$59.99
Plant Proteomics
$129.00
Making Markets Making Place
$69.99
Quality Control, Robust Design, and the Taguchi Method
$109.99
Handbuch Moderneforschung
$99.99
Internet Applications
$54.99
Clifford the Big Red Dog: Clifford's Animal Sounds
$4.49
Nondifferentiable Optimization and Polynomial Problems
$169.99
Excel 2010 for Human Resource Management Statistics
$54.99
Kolonnen-Fibel
$139.99
Exercise-Induced Acute Renal Failure
$109.99
Data Analytics for Renewable Energy Integration
$39.99
Interdisziplinres Forschen und Lehren in den MINT-Didaktiken
$84.99
Eco-immunology
$109.99
Practical Web Traffic Analysis
$54.99
Police Forces: A Cultural History of an Institution
$54.99
Advances in Networks and Communications
$109.00
Two of Everything
$6.71
Two Colonial Empires
$109.99
Food Safety and Quality-Based Shelf Life of Perishable Foods
$179.99
Trans-Neptunian Objects and Comets
$84.99
Strategien externen Unternehmenswachstums
$59.99
