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
Assisted Suicide: The Liberal, Humanist Case Against Legalization
$84.99
The Force of an Idea
$199.99
Applying Cognitive Grammar in the Foreign Language Classroom
$109.99
Flexible Incentives for the Adoption of Environmental Technologies in Agriculture
$169.99
Rural Transformation through Servitization
$159.99
Qualitt von Humandienstleistungen
$64.99
Acta Demographica 1992
$59.99
Geschichte der Wirtschaftsinformatik
$89.00
Kndigung des Bauvertrages nach Ansprchen
$69.99
Innovative Technologies in Everyday Life
$39.99
Womens Private Practices of Knowledge Production in Early Modern Europe
$59.99
Stem Cells in Animal Species: From Pre-clinic to Biodiversity
$109.99
Physics of New Materials
$39.99
Hannah Arendt
$84.99
The Female Genital Tract of the Shrew Crocidura russula
$109.99
STACS 95
$84.99
HIV-1 Latency
$84.99
Applications of Evolutionary Computing
$54.99
Die Performance von Privatisierungen am Kapitalmarkt
$69.99
Calcium Carbonate
$219.99
Oskar Becker, On the Logic of Modalities (1930): Translation, Commentary and Analysis
$119.99
Role of Domestic Courts in the Settlement of Investor-State Disputes
$109.00
Analgesia
$259.00
The Turn of Moores Law from Space to Time
$99.00
Notfallmedizin. Fragen und Antworten
$29.99
Noise and Vibration Mitigation for Rail Transportation Systems
$169.00
Anti-Americanism in European Literature
$54.99
Disaster Risk Reduction for Resilience
$169.99
Gehlze im Winter
$34.99
Hipparchs Himmelsglobus
$84.99
Machines of Nature and Corporeal Substances in Leibniz
$109.99
Theory of Cryptography
$84.99
Bzier and B-Spline Techniques
$119.99
Product-Focused Software Process Improvement
$99.99
India-Pakistan Trade
$39.99
Orphaned (Ape Quartet #4)
$9.74
Learning Mathematics
$109.99
Ultrasound in the Production and Inspection of Concrete
$109.99
Macht ohne Mandat
$59.99
Bundesweiter Fachkongress Kinder- und Jugendarbeit Wege in die Zukunft
$54.99
