Copied Automated Deduction CADE-12
Automated Deduction CADE-12
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.
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
Staaten im Weltmarkt
$39.99
Clinical Pre Computer Proforma for the International Computer Database for Radiation Exposure Case H
$54.99
Feminist Identity Development and Activism in Revolutionary Movements
$54.99
Consumer Informatics and Digital Health
$99.99
Field, Thermionic and Secondary Electron Emission Spectroscopy
$39.99
Fibromyalgie und Selbstwirksamkeit
$44.99
Evidence-Based Counterterrorism Policy
$109.99
Slavoj Zizek and Dialectical Materialism
$119.99
Lava Flows and Domes
$39.99
Mnsteraner Sachverstndigengesprche
$59.99
Modern Meta-Analysis
$89.00
Selected Aspects of Fractional Brownian Motion
$159.99
Advanced Dam Engineering for Design, Construction, and Rehabilitation
$169.00
HIV und AIDS
$49.99
Women in Biotechnology
$219.99
Is Fuzzy Theory an Appropriate Tool for Size Problems?
$54.99
The Law of Nations and Britains Quest for Naval Security
$39.99
Erziehungsarbeit
$84.99
On Topologies and Boundaries in Potential Theory
$29.99
A Brief History of Mechanical Engineering
$159.99
The Palgrave Handbook of African Political Economy
$199.99
Frankreichs V. Republik
$69.99
Rckkehr und Reintegration nach psychischer Erkrankung
$64.99
Grammatical Evolution
$129.00
Clostridium difficile
$109.99
Quaternionic Closed Operators, Fractional Powers and Fractional Diffusion Processes
$79.99
American Education, Democracy, and the Second World War
$39.99
Strafverfahrensrecht
$59.99
Advances in Information Security and Assurance
$109.99
Acoustic Control of Turbulent Jets
$169.99
Applications of Evolutionary Computation
$54.99
Glassy Metals
$84.99
Privatschulen versus staatliche Schulen
$44.99
The Greco-German Affair in the Euro Crisis
$54.99
Modelling Electroanalytical Experiments by the Integral Equation Method
$109.99
I Survived the Battle of D-Day, 1944 (I Survived Graphic Novel #9)
$9.74
Ginkgo Biloba A Global Treasure
$129.00
Mysteries Unwrapped: Mutants & Monsters
$7.46
Z = 1-29. Excited Nuclear States
$549.99
Staats-kunde
$59.99
