Copied Automated Deduction - CADE-15
Automated Deduction - CADE-15
This book constitutes the refereed proceedings of the 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive 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
|
|
$39.99 | $39.99 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Placenta
$59.99
Computers Helping People with Special Needs
$69.99
Smallholders and the Non-Farm Transition in Latin America
$54.99
The Nature and Function of Intuitive Thought and Decision Making
$39.99
Elektrische Industriefen fr Weiterverarbeitung
$84.99
County Lines
$69.99
Business Process Offshoring
$74.99
Rckstellungen im Braunkohlenbergbau
$79.99
Frailty and Sarcopenia in Cirrhosis
$109.99
Reversible Computation
$54.99
Spinal Cord Stimulation II
$129.00
Jugend und Demokratie in Deutschland
$59.99
The Geo-Doc
$84.99
Creative Applications of Artificial Intelligence in Education
$32.99
Waffen-Gleichheit
$79.95
Cell Motility
$169.99
Atlas of Dermatology, Dermatopathology and Venereology
$549.99
Numerical Infinities and Infinitesimals in Optimization
$199.99
Environmental Health for All
$219.99
European Childhoods
$54.99
Introduction to Software Design with Java
$49.99
Explorations in Social Systems Engineering
$129.99
Das Phnomen der Symmetrie in Natur- und Arzneistoffen. Warum Methan in der Atmosphre ansteigt - Di
$59.99
Crystal Engineering: From Molecules and Crystals to Materials
$109.99
Imaging, Vision and Learning Based on Optimization and PDEs
$54.99
Multivariate Spline Functions and Their Applications
$54.99
Japanese Discourses on the Marxian Theory of Finance
$129.99
High-Energy Batteries
$54.99
Theory of Stochastic Processes
$39.99
Flexible Fertigungssysteme
$64.99
Phyto-Microbiome in Stress Regulation
$169.99
European Naval Power
$139.99
Erzaufbereitungsanlagen in Westdeutschland
$59.99
Interventional Cardiology
$219.99
Random Point Processes in Time and Space
$79.99
Alterations of Excitation-Contraction Coupling in the Failing Human Heart
$39.99
Feinfhlige Responsivitt in der frhpdagogischen Praxis
$64.99
Storage and Computation in the Language Faculty
$54.99
Die Bedeutung der Begriffe Stasis und Aponoia fr das Verstndnis des 1. Clemensbriefes
$59.99
Stoffstrommanagement in der Altbaumodernisierung
$29.99
