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 |
|
$36.00 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
New Year's Eve Thieves
$5.21
Space and Time in the Microworld
$109.99
Linear Port-Hamiltonian Systems on Infinite-dimensional Spaces
$84.99
Applications of Paleoenvironmental Techniques in Estuarine Studies
$119.99
Encounters in Performance Philosophy
$109.99
Internet Access in Vehicular Networks
$129.99
Computational Science and Its Applications ICCSA 2023 Workshops
$79.99
Hobbes and Galileo: Method, Matter and the Science of Motion
$109.99
Marketing-Entscheidungen im Einzelhandel
$79.99
Food Parcels in International Migration
$119.99
Rationalittssicherung bei hohen Wissensdefiziten
$59.99
Student Movements for the Republic of Kosovo
$39.99
At the Origins of Modernity
$179.99
Student and Skilled Labour Mobility in the Asia Pacific Region
$169.99
Neoliberalism and Resistance in South Africa
$109.99
Gaschromatographie
$54.99
Prenatal Gene Therapy
$109.99
Isolierung und Untersuchungen der Oxydeinschlsse in unberuhigten und teilberuhigten Sthlen
$59.99
Organic Contaminants in the Environment
$219.99
Whrungszerfall und Whrungsstabilisierung
$59.99
Auralization
$299.99
Ubiquitous Networking
$54.99
Coordinative Interactions
$84.99
The Theory of Info-Dynamics: Rational Foundations of Information-Knowledge Dynamics
$109.99
Systems, Models and Measures
$54.99
Current Topics in Insect Endocrinology and Nutrition
$39.99
The Science of Cancer Treatment
$39.99
Mathematical Analysis
$79.99
Melancholie und Musik
$59.99
The Solar Radiation and Climate Experiment (SORCE)
$169.99
Prolegomena to a Critical Grammar
$109.99
Microflows and Nanoflows
$129.00
Descartes' Philosophical Revolution: A Reassessment
$54.99
Precision Assembly Technologies and Systems
$54.99
Kernenergie und Kerntechnik
$79.99
The Economics of Demutualization
$39.99
Role of Potassium in Preventive Cardiovascular Medicine
$129.00
Working with Coders
$44.99
Die magnetische Drehung der Polarisationsebene bei wachsender Doppelbrechung in dilatiertem Glas
$54.99
EBM 2022 Kommentar Kinderheilkunde
$34.99
