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
Economic Essays
$74.99
Combinatorial and Algorithmic Aspects of Networking
$54.99
Genetic Basis for Respiratory Control Disorders
$169.99
Constructing Omans Peaceful Identity
$139.99
Progress in Molecular and Subcellular Biology
$84.99
Politik als Beruf
$49.99
Evolution of Land and Life in Oman: an Million Year Story
$109.99
An Economic Perspective on the Southwest: Defining the Decade
$109.99
Object-Based Distributed Programming
$39.99
Design Is Storytelling by Ellen Lupton
$19.95
Proceedings of the International Congress on Information and Communication Technology
$219.99
Kommunikation in Rechnernetzen
$69.99
Kenneth W. Thompson, The Prophet of Norms
$54.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2020
$84.99
Optimal Control of Partial Differential Equations
$109.99
The Innovation Mode
$49.99
Aktuelle Neuroorthopdie Bilanz und Ausblick
$54.99
Gender, Equality and Difference During And After State Socialism
$54.99
Artistic Visions and the Promise of Beauty
$109.99
The Discrete Ordered Median Problem: Models and Solution Methods
$54.99
Strategies of Representation in Auto/biography
$54.99
Die Legende vom Spin Doctor
$44.99
The Ignite Project
$49.99
Commercial Astronauts
$34.99
Die iliakale Endofibrose bei Radrennfahrern und Triathleten
$17.99
Optical Waveguide Sciences
$169.99
Violence Performed
$54.99
Frdermaschinen
$119.99
Intelligent Technologies for Interactive Entertainment
$44.99
The Urgent Need for Regulation of Satellite Mega-constellations in Outer Space
$39.99
Cause Effect Pairs in Machine Learning
$139.99
Innovations and Interdisciplinary Solutions for Underserved Areas
$84.99
Democracy and the Global System
$54.99
Multilingual Dictionary of Agronomic Plants
$129.00
Introducing the Oscillations Based Paradigm
$109.99
Mechanism and Regulation of DNA Replication
$39.99
Multi-Photon Quantum Information Science and Technology in Integrated Optics
$109.99
Post-harvest Pathology
$169.99
Internationales Handels- und Logistikrecht
$49.99
Pre-service Teacher Education Policy Development
$119.99
