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-15
Best Price (Coupon Required):
Buy Automated Deduction - CADE-15 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 15th International Conference on Automated Deduction, CADE-15, held in Lindau, Germany, in July 1998. The volume presents three invited contributions together with 25 revised full papers and 10 revised system descriptions; these were selected from a total of 120 submissions. The papers address all current issues in automated deduction and theorem proving based on resolution, superposition, model generation and elimination, or connection tableau calculus, in first-order, higher-order, intuitionistic, or modal logics, and describe applications to geometry, computer algebra, or reactive systems.
Reviews
Questions & Answers
New Horizons in pro-p Groups
$109.99
Technologies for Constructing Intelligent Systems 2
$169.99
Neurotransmitters and Drugs
$39.99
Erfolg und Misserfolg von Nonprofit-Organisationen
$49.99
Experimental Electronics for Students
$54.99
Internet-Geschftsmodell Virtuelle Community
$89.99
Die Mathematik als Denkwerk
$49.99
An Inquiry into Women Representation in Management
$129.99
VDI-Wasserdampftafeln / VDI-Steam Tables / Tables VDI des constantes
$54.99
Microprobe Techniques in the Earth Sciences
$169.99
On Replacement
$109.00
Objektorientierte Informationssysteme
$84.99
Geologic Structures of the Arctic Basin
$129.99
Lecture Notes on Geometry of Numbers
$64.99
Taschenatlas Zoologie
$29.99
Advancing Methods for Biomolecular Crystallography
$219.99
Robust Speech Recognition of Uncertain or Missing Data
$109.99
Clinical Applications of Mass Spectrometry
$89.00
Technologische Grundprozesse der Vakuumelektronik
$49.99
Women, Religion and Leadership in Zimbabwe, Volume 1
$179.99
Money and European Union
$59.99
Climate Change and Developing Countries
$84.99
Elemente nachrichtentechnischer Systeme
$49.99
Managing Agricultural Enterprises
$159.99
New International Frontiers in Child Sexual Abuse
$99.99
An Instructor's Manual to H2H Marketing Case Studies
$59.99
Niobium Alloys and Compounds
$39.99
Corneal Topography
$99.00
Berufsforschung
$59.99
Real-Time UNIX Systems
$129.00
Formale Modellierung von Authentifizierungs- und Autorisierungsinfrastrukturen
$44.99
Die religisen Dichtungen Margaretes von Navarra
$59.99
Introduction to Numerical Analysis
$129.99
Advanced Monte Carlo for Radiation Physics, Particle Transport Simulation and Applications
$379.99
Ecology and Utilization of Desert Shrub Rangelands in Iraq
$169.00
Optimization of Dynamic Systems
$109.99
Proceedings of the 2007 Academy of Marketing Science (AMS) Annual Conference
$169.99
Ordering in Macromolecular Systems
$54.99
Images of Biologically Active Structures in the Immune System
$109.99
Soft Methods in Probability, Statistics and Data Analysis
$54.99
