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
Algebraic Complexity Theory
$159.99
Pets as Sentinels, Forecasters and Promoters of Human Health
$109.99
Yearbook of the European Convention on Human Rights / Annuaire de la Convention Europeenne des Droit
$54.99
Wine Folly: The Essential Guide to Wine by Madeline Puckette
$25.00
A Feminist Reading of Chinas Digital Public Sphere
$54.99
Therapeutic Change
$109.99
Advances in Simulation and Process Modelling
$54.99
Air Pollution Modeling and Its Application XII
$219.99
Cosmochemical Evolution and the Origins of Life
$39.99
Die Industrie der Ammoniak- und Cyanverbindungen
$74.99
Additive Number Theory
$84.99
Social Robotics
$54.99
Die Pseudo-Medialisierung des Wahlkampfs
$39.99
Metal-Semiconductor Schottky Barrier Junctions and Their Applications
$89.00
International School Policy Development
$99.00
ultrasound in gynecology and obstetrics
$54.99
Cancer Systems Biology
$69.99
Kenya and Britain after Independence
$119.99
Alternatives to hierarchies
$39.99
Fluids Under Pressure
$119.00
Spatial Cognition VIII
$54.99
Supply Chain Management and Advanced Planning
$69.99
The Theory of Fixed Point Classes
$54.99
Jak-Stat Signaling : From Basics to Disease
$169.99
Educational Assessment in Tanzania
$54.99
Ecology and Conservation of Southeast Asian Marine and Freshwater Environments including Wetlands
$84.99
Managing Residential Childcare
$54.99
Digital Carnivalesque
$39.99
The Strategic CFO
$79.99
Pneumatic Conveying
$199.99
Geschichte der sterreichischen Privatbanken
$69.99
Math Skills: Grade 6 (Flash Kids Harcourt Family Learning) by Flash Kids Editors
$9.99
Probiotics, Prebiotics, Synbiotics, and Postbiotics
$219.00
Constructing European Union Trade Policy
$84.99
Transformation osteuropischer Unternehmen
$69.99
Beitrge zum Problem der psychischen Beanspruchung
$59.99
Advanced Network Technologies and Intelligent Computing
$84.99
The Psychology of the Human-Animal Bond
$109.00
Wearable Electronics Sensors
$109.99
Verteiltes Arbeiten kompakt
$14.99
