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

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