Copied Automated Deduction - CADE-14
Automated Deduction - CADE-14
This book constitutes the strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997. The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Typografische Animation fr Studium und Praxis
$59.99
The Community Budget for an Economic and Monetary Union
$129.00
Remote Sensing Applications in Marine Science and Technology
$219.99
Values and Morals
$169.99
Fault Diagnosis
$329.99
Boden und Energiewende
$37.99
Das neue Marketing-Mindset
$44.99
No Roses For Harry (Hardcover)
$17.99
Umweltschonendes Mobilittsverhalten
$59.99
Chest CT for Non-Radiologists
$89.99
The Biology of the Avian Respiratory System
$169.99
Fragmentation of Rings and Shells
$189.00
Fairy Tales and Fables from Weimar Days
$34.99
Triangulation
$14.99
Mental Health Symptoms in Literature since Modernism
$129.99
History and Philosophy of Constructive Type Theory
$169.99
Applied Linear Algebra and Matrix Analysis
$54.99
Applied Psychology Readings
$129.00
Quality of Synthetic Speech
$99.00
WDM Systems and Networks
$219.99
Finance and Technological Change
$84.99
Human Detection and Diagnosis of System Failures
$84.99
The Soils of Aotearoa New Zealand
$119.00
Frauenfrderung in der Arbeitsmarktpolitik
$64.99
Annual Dynamics of Daylight Variability and Contrast
$54.99
Auslegung einer technologischgeometrischen Grenzregelung fr die Frsbearbeitung
$59.99
Fundamentals of Information Systems
$84.99
New Waves in Truth
$54.99
The Quintessence of Supply Chain Management
$54.99
Mathematische Modellierung
$19.99
Preventive Dermatology in Infectious Diseases
$49.99
Strassen- und Tiefbauleistungen Fertig Berechnet
$74.99
The Joy of Sets
$54.99
Inequality and Organizational Practice
$159.99
Energy Conversion Efficiency of Solar Cells
$129.99
Probing Earths Deep Interior using Space Observations Synergistically
$59.99
Lectures on Electrochemical Corrosion
$169.99
Hawai'i (A True Book: My United States)
$23.25
Requirements Engineering
$69.99
Praxishandbuch Financial Due Diligence
$89.99
