Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Automated Deduction -- CADE-23
Best Price (Coupon Required):
Buy Automated Deduction -- CADE-23 for $36.00 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.
Single Product Purchase
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
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 23rd International Conference on Automated Deduction, CADE-23, held in Wrocaw, Poland, in July/August 2011. The 28 revised full papers and 7 system descriptions presented were carefully reviewed and selected from 80 submissions. Furthermore, four invited lectures by distinguished experts in the area were included. Among the topics addressed are systems and tools for automated reasoning, rewriting logics, security protocol verification, unification, theorem proving, clause elimination, SAT, satifiability, interactive theorem proving, theory reasoning, static analysis, decision procedures, etc.
Reviews
Questions & Answers
Human/Animal Relationships in Transformation
$149.00
Quality of Experience and Learning in Information Systems
$99.99
Advanced Transport Systems
$169.99
Employment Policy in a Developing Country A Case-study of India Volume 1
$84.99
Die Strategie der Integrierten Produktentwicklung
$69.99
Harry Potter: All About the Hogwarts Houses
$6.74
CFD Techniques and Thermo-Mechanics Applications
$109.00
Trust Management X
$54.99
Modular Curves and Abelian Varieties
$84.99
Electron Kinetics and Applications of Glow Discharges
$129.00
Reversible Computation
$54.99
Chronik des Deutschen Forstwesens im Jahre 1883
$59.99
Regulation of Sertoli Cell and Germ Cell Differentiation
$84.99
Fractals: Theory and Applications in Engineering
$84.99
Scenario Thinking
$44.99
CSR und Produktmanagement
$39.99
Die Calcaneusfraktur
$59.99
Transitioning from Pediatric to Adult Care in Endocrinology
$54.99
Plant Respiration Inclusive Fermentations and Acid Metabolism / Pflanzenatmung Einschliesslich Grun
$149.99
The Moving Image as Public Art
$119.99
Politische konomie der Finanzialisierung
$49.99
High-Power Dye Lasers
$39.99
Lehrbuch der Perkussion und Auskultation
$49.99
Research in Early Childhood Science Education
$179.99
The Culture of the Stalin Period
$219.99
Computational Methods for Single-Cell Data Analysis
$249.99
Grundlagen der Baubetriebslehre 1
$29.99
J.S. Mill Revisited
$39.99
Molecular Basis and Emerging Strategies for Anti-aging Interventions
$199.99
The Origins of Larvae
$169.99
3D Research Challenges in Cultural Heritage
$54.99
Ivy and Bean: No News Is Good News
$5.21
The Causal Relationship between the S&P 500 and the VIX Index
$84.99
Clouds, Rain & Snow: Rain
$3.71
Pituitary Adenylate Cyclase-Activating Polypeptide
$129.00
Strategische Unternehmungsfhrung und F&E-Management
$69.99
Large-Scale Disk Failure Prediction
$39.99
Sensuality in Human Living
$59.99
Design and Brand
$64.99
Information Security and Cryptology - ICISC 2000
$54.99
