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
Christine de Pizan in Text und Bild
$39.99
Gabler Lexikon Unternehmensberatung
$149.99
Faunal Heritage of Rajasthan, India
$169.00
Essentials of Terror Medicine
$79.99
Gender and the Labour Market
$109.99
Selected Proceedings of the 6th Space Resources Conference
$199.99
Distributed Artificial Intelligence
$59.99
Jugendkultureller Alkoholkonsum
$39.99
Gentrification in Chinese Cities
$139.99
Learning to Rank for Information Retrieval and Natural Language Processing
$37.33
Regional Integration Processes in the Commonwealth of Independent States
$129.00
Bewertungen in Umweltschutz und Umweltrecht
$74.99
Rationelle Kchenwirtschaft und Gesundheit
$59.99
Glaciotectonic Landforms and Structures
$199.99
Technology Infrastructure and Competitive Position
$169.00
Anti-Apartheid and the Emergence of a Global Civil Society
$39.99
Who Needs Jobs?
$109.99
Narrative Life
$169.99
Microphysics of Clouds and Precipitation
$169.99
The Convenience of White-Collar Crime in Business
$109.99
Organisatorische Gestaltung der Leistungsbeziehungen in Kommunalverwaltungen
$69.99
El Mundo de los Piratas
$12.74
Einfhrung in die Meeresbiologie 2
$44.99
EssensWert - Werte als multidisziplinrer Sammelbegriff im Kontext von Ernhrung
$17.99
Advances in Geometry
$84.99
Teaching Science and Investigating Environmental Issues with Geospatial Technology
$109.99
Einfhrung in die Theorie der Speziellen Funktionen der Mathematischen Physik
$59.99
Lens Epithelium and Posterior Capsular Opacification
$109.99
Methode der Randelemente in Statik und Dynamik
$74.99
Peppa Pig: Peppa's Magical Unicorn
$3.74
The Merits of Regional Cooperation
$54.99
Sources of High-Intensity Ultrasound
$109.99
Commercial Astronauts
$34.99
Who are YOU?
$37.99
Notebook of Doom: Day of the Night Crawlers
$5.24
Advances in Geroscience
$169.99
Subdivision Surfaces
$54.99
Design eines Faraday-Effekt-Stromsensors
$17.99
Design of Experiments for Pharmaceutical Product Development
$149.00
The Incarceration of Women
$54.99
