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
Confectionery Science and Technology
$139.99
America, Pakistan, and the India Factor
$54.99
Advances in Biomagnetism
$84.99
Saarbrcker Arbeitstagung 1989
$59.99
Advances in Geospatial Technology in Mining and Earth Sciences
$249.99
Ordering Independence
$39.99
How Would You Survive?: How Would You Survive as a Lion?
$5.99
Iran and the CIA
$59.99
Prognosis of Neurological Diseases
$179.99
A Poststructuralist Discourse Theory of Global Politics
$54.99
Aktuelle Gesichtspunkte der Hyperlipoproteinmien
$69.99
Monopsychism Mysticism Metaconsciousness
$54.99
Visual Perception for Manipulation and Imitation in Humanoid Robots
$129.00
Multidisciplinary Research and Practice for Informations Systems
$84.99
Land Use in Advancing Agriculture
$109.99
Die moderne Stanzerei
$59.99
Hypnosystemische Perspektiven im Change Management
$59.99
The Pacemaker Clinic of the 90s
$169.00
Technische Aktienanalyse und die Effizienz des deutschen Kapitalmarktes
$59.99
Analysis and Synthesis of Singular Systems with Time-Delays
$109.99
Models
$84.99
Electronic Voting
$64.99
Approximation and Computation
$109.99
Taxation of Hybrid Financial Instruments and the Remuneration Derived Therefrom in an International
$129.00
Untersuchungen zum Wirkungsmechanismus der Endonuclease S1 aus Aspergillus oryzae
$54.99
Metallurgical Process Engineering
$169.00
On Language
$84.99
Akute und therapieresistente Depressionen
$159.99
Mathematical Aspects of Scientific Software
$54.99
Die politische Philosophie Michael Walzers
$44.99
Politische Bildung im vereinten Deutschland
$59.99
Struktur und Tendenzen in der industriellen Energiebedarfsdeckung
$59.99
Chronic Hepatitis: Metabolic, Cholestatic, Viral and Autoimmune
$169.99
Hopf Algebras and Their Generalizations from a Category Theoretical Point of View
$49.99
Lehrrettungsassistent und Dozent im Rettungsdienst
$49.99
Zwnge und Depressionen
$49.99
Artificial Intelligence in Medicine
$39.99
Der Beschaffungsmarkt und seine Mechanismen
$69.99
Zeit und das Potential ihrer Darstellungsformen
$49.99
Biomedical and Dental Applications of Polymers
$219.99
