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-13
Best Price (Coupon Required):
Buy Automated Deduction - Cade-13 for $76.50 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
|
|
$84.99 | $84.99 |
|
10% OFF
This deals requires coupon
|
$76.50 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 13th International Conference on Automated Deduction, CADE-13, held in July/August 1996 in New Brunswick, NJ, USA, as part of FLoC '96. The volume presents 46 revised regular papers selected from a total of 114 submissions in this category; also included are 15 selected system descriptions and abstracts of two invited talks. The CADE conferences are the major forum for the presentation of new results in all aspects of automated deduction. Therefore, the volume is a timely report on the state-of-the-art in the area.
Reviews
Questions & Answers
Lectures on General Quantum Correlations and their Applications
$159.99
Fast Software Encryption
$39.99
Basic Math for Game Development with Unity 3D
$54.99
Optical Diagnostics for Flow Processes
$169.99
Marine Organisms as Model Systems in Biology and Medicine
$299.99
Spezielle pathologische Anatomie II
$44.99
Grenzen
$74.99
Interpolation of Spatial Data
$119.00
Natural Computing and Beyond
$59.95
Toxicants in Food Packaging and Household Plastics
$169.99
Mobilities and Neighbourhood Belonging in Cities and Suburbs
$39.99
Plant Mineral Nutrients
$169.99
Gruppentherapie mit Kindern
$54.99
The Meaning of Meaninglessness
$109.99
How to Win Customers in the Digital World
$39.99
Deutsches Brgertum und literarische Intelligenz 1750-1800
$64.99
A Companion of Feminisms for Digital Design and Spherology
$59.99
Digital Economy. Emerging Technologies and Business Innovation
$39.99
Microorganisms in Plant Conservation and Biodiversity
$129.00
Schulfernsehen und soziales Lernen
$44.99
Public Key Cryptography -- PKC 2012
$54.99
Formate fr Digital Natives: Innovatives Entwickeln, Umsetzen und Managen
$49.99
Alliances and Power Politics in the Trump Era
$109.00
Logic, Theology and Poetry in Boethius, Anselm, Abelard, and Alan of Lille
$54.99
Improving Reading and Reading Engagement in the 21st Century
$139.99
Advances of Science and Technology
$39.99
Introduction to Environmental Mineralogy
$249.99
My Advice to N.a.c.c.a
$74.99
Ideology and Cinematography in Hollywood, 1930-1939
$169.99
Online-Dienste, Portal Sites und elektronische Einkaufszentren
$59.99
The Support of Decision Processes with Business Intelligence and Analytics
$39.99
Gabby's Dollhouse: Sprinkle Party!
$8.24
Emerging Trends in Mechanical Engineering
$169.99
Pseudomonas
$169.00
Klimafolgenadaption durch Verwaltungsverfahrensrecht
$69.99
Soil and Recycling Management in the Anthropocene Era
$79.99
Die neueren Farbstoffe der Pigmentfarben-Industrie
$74.99
Coherence and Quantum Optics VIII
$219.99
The German Revolution and Political Theory
$159.99
Moderne Prfverfahren fr komplexe Probleme
$59.99
