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
Multidisciplinary Knowledge Production and Research Methods in Sub-Saharan Africa
$139.99
The Palgrave International Handbook of Youth Imprisonment
$299.99
Constitutive Laws of Plastic Deformation and Fracture
$219.99
The Abe Doctrine
$179.99
Schlaglichter der 4. Berlin Biennale fr zeitgenssische Kunst
$29.99
Freizeitindustrie
$44.99
Negotiating the EUs 2030 Climate and Energy Framework
$64.99
Human-Centred Web Adaptation and Personalization
$54.99
Noise and Torsional Vibration Analysis of Hybrid Vehicles
$64.99
Applications of Intelligent Control to Engineering Systems
$169.99
Precision Medicine Powered by pHealth and Connected Health
$169.99
Women's Writing in Colombia
$109.99
Joseph Chamberlain and the Tariff Reform Campaign
$14.99
Kleists Geheimnisse
$59.99
Angewandte Gestalttheorie in Psychotherapie und Psychohygiene
$69.99
Studies in the Russian Economy before 1914
$84.99
Energy Economics: A Modern Introduction
$129.00
Dry Mouth
$84.99
Selbsterfahrung in der Verhaltenstherapie?
$59.99
Eugenics and the Nature-Nurture Debate in the Twentieth Century
$54.99
I Love Mud and Mud Loves Me
$3.71
Ramified Surfaces
$44.99
HCI International 2007
$549.99
Plasma Processing of Polymers
$329.99
Iterative Methods for Queuing and Manufacturing Systems
$54.99
A Contemporary Portrait of Life in Korea
$99.00
Strfaktor Chef
$44.99
Marxistische Geschichtskulturen und soziale Bewegungen whrend des Kalten Krieges
$99.99
Stolen by Night
$6.74
Transcultural Experiments
$54.99
Betriebsorganisation und Kommunikation
$59.99
Descriptional Complexity of Formal Systems
$84.99
An die Spitze im E-Commerce
$39.99
Kommunikation bei Demenz
$19.99
Peppa Pig Paper Doll Book Peppa Pig by Golden Books
$9.99
Unflle durch Blitzschlag
$39.99
Neuraxial Therapeutics
$219.99
The Zinc/Bromine Flow Battery
$69.99
Lego Harry Potter: School of Magic: Activity Book with Minifigure by Ameet Publishing
$10.99
Behindertwerden in der Identittsarbeit
$54.99
