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-25

Automated Deduction - CADE-25

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

This book constitutes the proceedings of the 25th International Conference on Automated Deduction, CADE-25, held in Berlin, Germany, in August 2015. The 36 revised full papers presented ( 24 full papers and 12 system descriptions) were carefully reviewed and selected from 85 submissions. CADE is the major forum for the presentation of research in all aspects of automated deduction, including foundations, applications, implementations and practical experience.

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

Single Product Purchase

$36.00
@ Link.springer.com with extra coupon Get Coupon & BUY

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

10% OFF
This deals requires coupon Get Code Here
$36.00
See Site In stock Visit Store

Similar Products

Innovationsfhigkeit der Finanzbranche

$17.99

Socio-Spatial Town Dynamics in South Africa

$169.99

Hybrid Systems III

$84.99

Begomoviruses: Occurrence and Management in Asia and Africa

$109.99

Erfolgreiche Mitarbeiterkommunikation fr CEOs

$17.99

Philosophical Analysis

$219.99

An Accidental Brexit

$34.99

Grundzge der Investitions- und Finanzierungstheorie

$54.99

Resource Efficiency in Manufacturing Value Chains

$109.99

Experimental Psychology and Human Agency

$39.99

Motivation durch Beziehung

$59.99

Selected Prose of Christina Rossetti

$109.99

Stahlbeton- und Spannbetontragwerke

$44.99

Zielsysteme und Zielstrategien der Unternehmensfhrung

$74.99

Digital Orality

$159.99

Recent Developments in Intelligent Computing, Communication and Devices

$84.99

Unternehmensforschung

$59.99

Religion, Pacifism, and Nonviolence

$64.99

Marktprozesse in der Distributionswirtschaft

$49.99

Advances in Neural Networks- ISNN 2013

$39.99

Optical Waveguide Sciences

$129.00

Political Violence, Armed Conflict, and Youth Adjustment

$119.99

Algorithmen von Hammurapi bis Gdel

$39.99

Socio-economic Systems: Paradigms for the Future

$169.99

Electron Beam Analysis of Materials

$169.99

Comprtate, Pablo Picasso!

$4.49

Der Einflu einer Wrmebehandlung auf die Festigkeit von Beton aus verschiedenen Zementen

$54.99

Mechanobiology of Cell-Cell and Cell-Matrix Interactions

$169.99

Mining Multimedia and Complex Data

$54.99

Evolution of Karst in the Lower Part of Crna Reka River Basin

$109.99

Dynamics of Globalization and Development

$84.99

Contemporary Development Ethics from an African Perspective

$119.00

Evictionism

$159.99

Chronic Pain

$74.99

Flammenstabilitt bei Gasbrennern mit Geblse

$59.99

Anleitung zur Gesundheitspflege auf Kauffahrteischiffen

$59.99

Regeneration of War-Torn Societies

$84.99

Nonlinear Dynamics of Active and Passive Systems of Vibration Protection

$84.99

A Primer of Biomechanics

$159.99

From the Great Recession to Labour Market Recovery

$54.99