Copied 9th International Conference on Automated Deduction
9th International Conference on Automated Deduction
This volume contains the papers presented at the Ninth International Conference on Automated Deduction (CADE-9) held May 23-26 at Argonne National Laboratory, Argonne, Illinois. The conference commemorates the twenty-fifth anniversary of the discovery of the resolution principle, which took place during the summer of 1963. The CADE conferences are a forum for reporting on research on all aspects of automated deduction, including theorem proving, logic programming, unification, deductive databases, term rewriting, ATP for non-standard logics, and program verification. All papers submitted to the conference were refereed by at least two referees, and the program committee accepted the 52 that appear here. Also included in this volume are abstracts of 21 implementations of automated deduction systems.
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
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Phase Equilibria Diagrams of High Temperature Non-oxide Ceramics
$79.99
An Archaeological Study of Rural Capitalism and Material Life
$129.00
Leitfaden fr gerbereichemische Untersuchungen
$59.99
konomische Theorie der Familienpolitik
$74.99
Medical Data Analysis
$39.99
The NavierStokes Problem
$19.99
VLSI for Neural Networks and Artificial Intelligence
$169.99
Proceedings of the 2022 International Conference on Business and Policy Studies
$169.99
Analysis and Implementation of Isogeometric Boundary Elements for Electromagnetism
$169.99
Wettbewerbsvorteile durch Online Marketing
$69.99
n-Culturalism in Managing Work and Life
$54.99
Regional Trends (40th edition)
$54.99
Webster's International Atlas
$6.74
Alzheimers Disease
$39.99
The Climate of Israel
$109.99
The First City on Mars: An Urban Planners Guide to Settling the Red Planet
$29.99
Photovoltaik
$64.99
Cinematic Virtual Reality
$79.99
The Future of Music
$119.99
Proceedings of the 1997 Academy of Marketing Science (AMS) Annual Conference
$109.99
British Detective Fiction 18911901
$69.99
EQ-5D concepts and methods:
$129.00
Rating Chance fr den Mittelstand nach Basel II
$64.99
Probleme lsen
$49.99
Palliative Care
$34.99
Deckungsbeitragsrechnung fr Krankenhuser
$59.99
Artisan and Handicraft Entrepreneurs
$129.00
Absicht und Wirklichkeit integrativer Bildung
$49.99
Retrovirus Infections of the Nervous System
$84.99
Hong Kong Society
$99.00
Contemporary Womens Fiction and the Fantastic
$109.99
Monster Blood
$4.46
Verhandelte Vielfalt
$59.99
In Pursuit of Doris Lessing
$169.99
Strategische Unternehmensnetzwerke versus Cross-border-Unternehmensakquisitionen
$59.99
Justice, Luck & Responsibility in Health Care
$109.99
Natural Products as Source of Molecules with Therapeutic Potential
$169.99
Atlas of Dermatology in Internal Medicine
$64.99
Teacher Success Kit Grade 3: Tier 1
$519.97
Problems of Normativity, Rules and Rule-Following
$84.99
