Breaking News!
Up to 30% Off Nike Footwear

Automated Deduction - Cade-13

Best Price (Coupon Required):
Buy Automated Deduction - Cade-13 for $76.50 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.

Set a price drop alert to never miss an offer.

1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$76.50
@ Link.springer.com with extra coupon

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
$84.99 $84.99

10% OFF
This deals requires coupon
$76.50
See Site In stock Visit Store

Product Details

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

This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.

Available Colors
Available Sizes

Reviews

0
0 reviews
5 stars
4 stars
3 stars
2 stars
1 star

Questions & Answers

Similar Products

Lattice Gauge Theory 86

Lattice Gauge Theory 86

$39.99
The Municipal Financial Crisis

The Municipal Financial Crisis

$39.99
Systems Approaches to Nuclear Fusion Reactors

Systems Approaches to Nuclear Fusion Reactors

$139.00
Reifegradmanagement im Einkauf

Reifegradmanagement im Einkauf

$17.99
Natural Computing Algorithms

Natural Computing Algorithms

$64.99
Relating Intimacies

Relating Intimacies

$39.99
The Future of the Gulf Region

The Future of the Gulf Region

$159.99
Einfhrung in die historisch-vergleichende Soziologie Max Webers

Einfhrung in die historisch-vergleichende Soziologie Max Webers

$39.99
Cellular Automata and Cooperative Systems

Cellular Automata and Cooperative Systems

$259.00
Der fhrer in die Lebermoose und die Gefkryptogamen

Der fhrer in die Lebermoose und die Gefkryptogamen

$69.99
Emotionalisierung von Marken

Emotionalisierung von Marken

$89.95
Labor Income Share

Labor Income Share

$109.99
Virtual Storytelling. Using Virtual Reality Technologies for Storytelling

Virtual Storytelling. Using Virtual Reality Technologies for Storytelling

$39.99
Functional Thinking for Value Creation

Functional Thinking for Value Creation

$219.99
Diary of a Wimpy Kid: The Long Haul (#9)

Diary of a Wimpy Kid: The Long Haul (#9)

$6.74
Sustainable Development of the Lake Baikal Region

Sustainable Development of the Lake Baikal Region

$84.99
Projekt Liebe

Projekt Liebe

$34.99
The Peace Corps in South America

The Peace Corps in South America

$84.99
Small-Scale Fisheries in Europe: Status, Resilience and Governance

Small-Scale Fisheries in Europe: Status, Resilience and Governance

$199.99
Kurzlehrbuch Psychiatrie

Kurzlehrbuch Psychiatrie

$79.99
Reducing Fractions Grade 4 Differentiation Pack

Reducing Fractions Grade 4 Differentiation Pack

$5.99
Entscheidungslogik

Entscheidungslogik

$24.99
Proceedings of Topical Issues in International Political Geography

Proceedings of Topical Issues in International Political Geography

$169.99
Web Information Systems Engineering - WISE 2005

Web Information Systems Engineering - WISE 2005

$109.99
Methanol  Chemie- und Eneigierohstoff

Methanol Chemie- und Eneigierohstoff

$79.99
Beitrge zur Entwicklungsgeschichte der Kraniozerebralen Topographie des Menschen

Beitrge zur Entwicklungsgeschichte der Kraniozerebralen Topographie des Menschen

$59.99
Poetik der Form

Poetik der Form

$64.99
Guided Science Readers: Animals-Level C: I Spy Rain Forest

Guided Science Readers: Animals-Level C: I Spy Rain Forest

$3.71
Advances in Directional and Linear Statistics

Advances in Directional and Linear Statistics

$84.99
The Behavior of Shells Composed of Isotropic and Composite Materials

The Behavior of Shells Composed of Isotropic and Composite Materials

$169.99
Morphologie der Kooperation als Grundlage fr das Konzept der Zwei-Ebenen-Kooperation

Morphologie der Kooperation als Grundlage fr das Konzept der Zwei-Ebenen-Kooperation

$69.99
Osteosarcoma in Adolescents and Young Adults: New Developments and Controversies

Osteosarcoma in Adolescents and Young Adults: New Developments and Controversies

$329.99
An Island Like You

An Island Like You

$5.24
Collective Identity and Cultural Resistance in Contemporary Chicana/o Autobiography

Collective Identity and Cultural Resistance in Contemporary Chicana/o Autobiography

$99.99
Increased Biodiesel Efficiency

Increased Biodiesel Efficiency

$109.99
Numerik

Numerik

$39.99
Die Basler Feuerwehr

Die Basler Feuerwehr

$34.99
Digitalisierung der Arbeitswelt

Digitalisierung der Arbeitswelt

$44.99
Im Schatten der Modernitt

Im Schatten der Modernitt

$39.99
Computational Molecular Magnetic Resonance Imaging for Neuro-oncology

Computational Molecular Magnetic Resonance Imaging for Neuro-oncology

$159.99
previous
next