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
Applied Scanning Probe Methods V
$89.00
CSR und Logistik
$59.99
Zwischen Differenz und Differenzierung
$59.99
Noodleheads: Noodleheads See the Future
$5.21
Steuerlehre 2 Rechtslage 2019
$24.99
Learn Computer Vision Using OpenCV
$54.99
Present and Future of Evolutionary Economics
$179.99
Almost Global Solutions of Capillary-Gravity Water Waves Equations on the Circle
$49.99
Honeybee Rescue
$5.96
Post-Apartheid Community-Based Activism
$34.99
Sudden Death
$89.00
Roll With It
$5.96
Grundzge der Finanzwissenschaft
$29.99
New Advances on Chaotic Intermittency and its Applications
$109.99
Einfhrung in die Deskriptive Statistik
$39.95
Ultraschall des Abdomens
$74.99
The 17th International Conference Interdisciplinarity in Engineering
$229.99
Intelligent Text Categorization and Clustering
$84.99
Control of Noise and Structural Vibration
$219.99
Klinikschulen der Kinder- und Jugendpsychiatrien
$64.99
Adaptive Methods in Underwater Acoustics
$259.00
European Society in the Eighteenth Century
$74.99
Love You Forever
$3.09
The Perception of Quality
$109.99
Der Aufsichtsrat im System der Corporate Governance
$89.95
Handbook of Quality of Life for Individuals with Autism Spectrum Disorder
$379.99
Software Process Technology
$54.99
Structure and Dynamics of RNA
$39.99
Antitrust Analysis of Online Sales Platforms & Copyright Limitations and Exceptions
$199.99
Strategie, Planung und Organisation von Testprozessen
$49.99
Communication of Smart Media
$89.00
Durchwurzelung, Rhizodeposition und Pflanzenverfgbarkeit von Nhrstoffen und Schwermetallen
$69.95
Toward Interactive and Intelligent Decision Support Systems
$109.99
Recent Advances in the Processing of Wood-Plastic Composites
$84.99
Elements of the General Theory of Optimal Algorithms
$159.99
Beitrge zur Militrsoziologie
$59.99
Desinvestition von Unternehmensbeteiligungen in Krisensituationen
$69.99
Die Nibelungenbrcke in Worms am Rhein
$49.99
Gian-Carlo Rota on Analysis and Probability
$109.99
Models of Phase Transitions
$139.99
