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
Logic Symposia, Hakone, 1979, 1980
$44.99
Protein Structure Analysis
$39.99
Audiophotography
$109.99
Mit Schwarzem St(r)ich
$54.99
E-waste Recycling and Management
$129.00
Human-Computer Interaction. Interaction Technologies
$54.99
Proceedings of EECE 2019
$329.99
Wertschpfungsbeitrge durch Private-Equity-Gesellschaften
$69.99
Preisverzeichnis
$59.99
Sustainable Renovation of Buildings
$37.99
Guided Reading Level P Pack 2
$75.00
A Systems Approach to Language Pedagogy
$64.99
The Social Construction of the Person
$39.99
Paartherapie und Paarsynthese
$89.99
Atherosclerotic Plaques
$39.99
Deep Learning in Medical Image Analysis and Multimodal Learning for Clinical Decision Support
$54.99
Physik
$59.99
Individuelle Groupware
$49.99
Fabriken ohne Menschen
$59.99
Schraubenverbindungen
$179.99
Cardiac Bioelectric Therapy
$169.00
Molecular Biology of Long Non-coding RNAs
$119.00
Klinik und Labor Eisenstoffwechsel und Anmien
$54.99
Elektrotechnik und elektrische Antriebe
$79.99
Introduction to Integrated Pest Management
$109.99
Post-admission Language Assessment of University Students
$109.99
Suburban Retail Spaces
$39.99
Designing Evolutionary Algorithms for Dynamic Environments
$54.99
Business Reengineering
$74.99
Allgemeine Betriebswirtschaftslehre in Programmierter Form
$59.99
Pervasive Linux
$59.99
A Nexus Approach for Sustainable Development
$109.00
4th European Conference of the International Federation for Medical and Biological Engineering 23
$429.00
Pedagogies for the Post-Anthropocene
$119.99
The Paradox of Punishment
$119.99
Long-Term Changes in Coastal Benthic Communities
$219.99
Faszination Ultraschall
$29.99
A Symbolic Approach to Humanitarian Action
$109.99
From Crisis to Coalition
$54.99
Ueber das Rntgenbild der Influenzapneumonie
$49.99
