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 |
|
$76.50 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Reforesting Landscapes
$169.00
Quantum Radar
$29.99
Der Pythagoreische Lehrsatz
$59.99
Fluorescence Angiography in Ophthalmology
$179.99
Constructive Mathematics
$44.99
Handbuch zur politischen Bildung
$89.99
Children's Mobilities
$139.99
High-Frequency Bipolar Transistors
$219.99
Kapitalismus und Moderne
$69.99
Domain Decomposition Methods in Science and Engineering XXIII
$169.99
Religious and Spiritual Practices in India
$129.00
Rechtsgrundlagen der beruflichen Weiterbildung von Arbeitnehmern
$29.99
Future Work
$49.99
Diagnostic Strategies for COVID-19 and other Coronaviruses
$199.99
Algorithmic and Experimental Methods in Algebra, Geometry, and Number Theory
$89.00
School Peer Review for Educational Improvement and Accountability
$169.99
Bestimmung der kritischen Druckgrenze bei der Zndung von reinem Acetylen durch Detonationen in Acet
$59.99
Stem Cells
$179.99
Introduction to the Semantics of Law
$129.99
From Intrinsic to Extrinsic Design of Lithium-Ion Battery Layered Oxide Cathode Material Via Doping
$119.00
Deploy Container Applications Using Kubernetes
$39.99
Convex Analysis and Monotone Operator Theory in Hilbert Spaces
$109.00
Workbook berhrende, hybride Veranstaltungen
$44.99
Reise nach dem Kaplande, nach Mauritius und nach Java 16711676
$59.99
Three-Dimensional Machine Vision
$259.00
Governing Complex Societies
$109.99
Chaos and Complex Systems
$219.99
African American Political Thought and American Culture
$54.99
Bacterial Infections and the Kidney
$129.99
Meanings & Co
$39.99
Human Rights Behind Bars
$139.99
Die Knochenbrche und ihre Behandlung
$69.95
Math Potatoes
$5.96
Vom Material zur Produktinnovation
$17.99
Einfhrung in Theorie und Praxis der Zeitreihen- und Modalanalyse
$39.99
Moderne Lern-Zeiten
$34.99
Interkulturelle Verstndigung
$49.99
Treatise on Clean Surface Technology
$39.99
Computer Applications in Production Engineering
$329.99
Mechanisms and Management of COPD Exacerbations
$54.99
