Copied 10th International Conference on Automated Deduction
10th International Conference on Automated Deduction
This volume contains the papers presented at the 10th International Conference on Automated Deduction (CADE-10). CADE is the major forum at which research on all aspects of automated deduction is presented. Although automated deduction research is also presented at more general artificial intelligence conferences, the CADE conferences have no peer in the concentration and quality of their contributions to this topic. The papers included range from theory to implementation and experimentation, from propositional to higher-order calculi and nonclassical logics; they refine and use a wealth of methods including resolution, paramodulation, rewriting, completion, unification and induction; and they work with a variety of applications including program verification, logic programming, deductive databases, and theorem proving in many domains. The volume also contains abstracts of 20 implementations of automated deduction systems. The authors of about half the papers are from the United States, many are from Western Europe, and many too are from the rest of the world. The proceedings of the 5th, 6th, 7th, 8th and 9th CADE conferences are published as Volumes 87, 138, 170, 230, 310 in the series Lecture Notes in Computer 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
|
|
$119.00 | $119.00 |
|
$119.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Polish Contributions to the Science of Science
$54.99
Religion and the Health of the Public
$54.99
Pattern Analysis, Intelligent Security and the Internet of Things
$109.99
Strategische Unternehmensberatung
$69.99
Nordicism and Modernity
$99.00
Discourses of Anxiety over Childhood and Youth across Cultures
$84.99
Forschung zu Zivilgesellschaft, NPOs und Engagement
$64.99
18th International Conference on Soft Computing Models in Industrial and Environmental Applications
$199.99
Komplexittsmanagement in multinationalen Einkaufskooperationen am Beispiel des Verteidigungssektors
$69.99
Lsungen und Lsungsmittel
$54.99
Synthetic Metabolic Pathways
$179.99
Constitutional Mythologies
$109.99
High-Performance AD and DA Converters, IC Design in Scaled Technologies, and Time-Domain Signal Proc
$169.99
Tragic Drama and Modern Society
$19.99
The Vitreous
$84.99
Was wir uns wie sagen und zeigen
$19.99
Methodisches Konstruieren von additiv gefertigten Bauteilen
$49.99
Neocharismatic Leadership
$54.99
Pocket Book for Simulation Debriefing in Healthcare
$49.99
Umweltkommunikation im Netzwerk
$44.99
Wegweiser fr rzte und Medizinstudierende in Berlin zur Benutzung von Untersttzungseinrichtungen
$59.99
Pentaerithrityltetranitrat
$59.99
Aquatic Macrophytes: Ecology, Functions and Services
$219.99
Entwicklung eines Instrumentariums zur Gestaltung von Systempartnerschaften im Produktentstehungspro
$54.99
Influences of Electric Vehicles on Power System and Key Technologies of Vehicle-to-Grid
$119.99
Informationsmanagement in Universittsklinika
$44.99
Chest Wall Deformities and Corrective Procedures
$99.99
Management von Gesundheitsregionen I
$49.99
Geometrical Methods in Robotics
$74.99
High-Resolution Laser Spectroscopy
$39.99
Materialverhalten anisotroper Festkrper
$44.99
Gender, Metal and the Media
$159.99
Low-Frequency Waves and Irregularities in the Ionosphere
$39.99
Inverse Problems in Ordinary Differential Equations and Applications
$129.99
Elektronik fr Physiker
$64.99
Die Eigenart der kultur- und sozialwissenschaftlichen Begriffsbildung
$39.99
The Feel Good Book
$4.46
Education in Europe: Policies and Politics
$109.99
Scheduling and Congestion Control for Wireless Internet
$54.99
Ready-To-Go 2 25 Book Classroom Library: Independent Reading, Grade 5
$155.00
