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

Krankheit und Gemeinwohl

$59.99

The Laughter of Sarah

$54.99

Ratgeber Krampfadern, Beinschwellung und Thrombose

$19.99

Prothrombin and Related Coagulation Factors

$54.99

Partnerschaftsqualitt und kindliche Entwicklung

$17.99

How to Write Haiku

$4.46

The Iraq War and Democratic Governance

$109.99

Introduction to a Renormalisation Group Method

$64.99

Electronic Government

$39.99

MATLAB Programming for Numerical Analysis

$49.99

Grammatik und Sprachverarbeitung

$69.99

Bounded Noises in Physics, Biology, and Engineering

$54.99

Pulsed Laser Ablation of Solids

$139.00

American Creationism, Creation Science, and Intelligent Design in the Evangelical Market

$39.99

Quantum Foundations, Probability and Information

$119.99

Longitudinal Double-Spin Asymmetry of Electrons from Heavy Flavor Decays in Polarized p + p Collisio

$109.99

Repositionierung von Marken

$69.99

Algebra - Representation Theory

$169.99

Beyond Capital

$99.99

The Politics of Threat

$54.99

Extraterrestrial Dust

$169.99

Qualitative Anorganische Analyse

$19.99

Computational Many-Particle Physics

$169.99

Anlagensicherheit

$149.99

Drivers of Bank Lending

$54.99

The Dialectics of Transformation in Africa

$54.99

Quellen Brgerschaftlichen Engagements

$49.99

Modelling the Upper Atmosphere of Gas-Giant Exoplanets Irradiated by Low-Mass Stars

$39.99

Driver Drowsiness Detection

$39.99

Wings of Fire: Moon Rising (#6)

$6.74

Taijiquan and The Search for The Little Old Chinese Man

$109.99

Peripherisierung, Stigmatisierung, Abhngigkeit?

$39.99

The Definitive Guide to Jakarta Faces in Jakarta EE 10

$69.99

Quadrature Domains and Their Applications

$129.00

The Soul of the German Historical School

$129.00

Leo + Lea (Hardcover)

$14.24

Molecular Mechanisms of Autonomy in Biological Systems

$169.99

Finding Solutions for Protecting and Sharing Archaeological Heritage Resources

$54.99

Material-Logistik

$39.99

Literature, Metaphor and the Foreign Language Learner

$54.99