Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Automated Deduction - CADE-15

Automated Deduction - CADE-15

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783540691105
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $39.99 - $39.99
BEST PRICE

Single Product Purchase

$39.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

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