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
Web Development Solutions
$24.99
Scheduling Theory Single-Stage Systems
$329.99
Controlling in deutschen Unternehmungen
$59.99
Basic, Clinical, and Surgical Nephrology
$169.00
Multivariate Modellierung operationeller Risiken in Kreditinstituten
$64.99
Optimization Algorithms for Distributed Machine Learning
$34.99
Vermicomposting for Sustainable Food Systems in Africa
$169.00
Nutrition Policy Implementation
$39.99
Energy Methods in Dynamics
$119.00
Creativity and Innovation Among Science and Art
$109.99
Lithium Effects on Granulopoiesis and Immune Function
$84.99
Neurovegetative Regulationen
$59.99
Insurance Economics
$99.99
Kommunikation ber Satelliten / Communication via Satellites
$59.99
In the Realm of Legal and Moral Philosophy
$109.99
Technical Analysis Applications
$49.99
Time Series in Economics and Finance
$109.99
The Written World
$39.99
Corporate Environmental Responsibility, Accounting and Corporate Finance in the EU
$169.99
Sport Science Research and Technology Support
$39.99
Programmieren in C++
$54.99
Ecological Intensification of Natural Resources for Sustainable Agriculture
$279.99
Abfallwirtschaft. Gtertransportwirtschaft
$39.99
Anxious for Nothing- Finding Calm in a Chaotic World by Max Lucado
$19.99
Ramona: Beezus and Ramona
$5.96
Kapitalmarktorientierte Konzernbewertung
$69.99
Classical Mechanics with Mathematica
$84.99
Rational Thermodynamics
$129.00
Deutsches Flottenbuch
$59.99
Soziale Angst verstehen und verndern
$14.99
Cadmium
$109.99
Silikon-Verbundisolatoren
$119.00
Astronomische Erdkunde
$49.99
Ex-C-ellent
$49.99
Asymptotic Methods for Investigating Quasiwave Equations of Hyperbolic Type
$39.99
E-Commerce and Web Technologies
$39.99
Berechnung von Maschinenschwingungen mit einem programmierbaren Tischrechner
$69.99
Imagine Math 7
$49.99
Untangling ComplexityPeace Building Engineering
$44.99
Die Hand - Werkzeug des Geistes
$34.99
