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 27

Automated Deduction CADE 27

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

This book constitutes the proceeding of the 27th International Conference on Automated Deduction, CADE 27, held in Natal, Brazil, in August 2019. The 27 full papers and 7 system descriptions presented were carefully reviewed and selected from 65 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: $69.99 - $69.99
BEST PRICE

Single Product Purchase

$69.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
$69.99 $69.99

$69.99
See Site In stock Visit Store

Similar Products

Analog Circuit Design

$169.99

Standortverlagerung

$49.99

Management of Diversity

$64.99

Locating Legal Certainty in Patent Licensing

$24.99

Personalwirtschaftliches Rechnungswesen

$59.99

Konsumentenverhalten

$49.99

Self-Production of Supramolecular Structures

$169.99

Oculoplastic Surgery Atlas

$129.00

Approximation and Online Algorithms

$54.99

Tumoren des Bronchialsystems

$79.99

Desert Dust in the Global System

$109.99

Supply Management Research

$49.99

Surface Engineering

$129.99

Advanced Perl Programming

$33.59

Vegetation of the Tropical Pacific Islands

$109.99

Toeplitz Matrices, Asymptotic Linear Algebra and Functional Analysis

$20.00

Handbook of Classical Sociological Theory

$379.99

Moderne Personalplanung

$29.99

Earth Sciences and Archaeology

$109.99

Translations, Histories, Enlightenments

$54.99

Development in Difficult Sociopolitical Contexts

$54.99

Starthilfe Pharmazie

$59.99

Handbuch der Laplace-Transformation

$64.99

Astrophysik

$34.99

The Sustainability of Hemp

$9.99

Thank You, Mr. Falker

$5.21

Kenya After 50

$54.99

Forschung fr das Auto von morgen

$69.99

Wechselstrme und Netzwerke

$84.99

Sleep: Evolution and Functions

$109.99

Bedeutung von Clustern fr die Innovativitt von Unternehmen

$69.99

What About the Future?

$54.99

Interaktionskompetenz im Vertrieb

$59.99

Management von Gesundheitsregionen III

$49.99

Anthony Burgess, Stanley Kubrick and A Clockwork Orange

$169.99

Leibniz on Compossibility and Possible Worlds

$89.00

The Legend of Hong Kil Dong

$6.71

Terricolous Lichens in India

$84.99

SYROM 2009

$329.99

Experiments and Numerical Simulations of Diluted Spray Turbulent Combustion

$219.99