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
Condition Monitoring and Diagnostic Engineering Management
$84.99
Quick Guide Kryptowerte
$19.99
Californium-252 Isotope for 21st Century Radiotherapy
$54.99
Secrets of the Sky: The Ghost Forest (Hardcover)
$12.74
Mathcad in der Tragwerksplanung
$49.99
Legal Responses to Vacant Houses
$64.99
Sibling Love and Incest in Jane Austen's Fiction
$49.99
Illustrated Encyclopedia of Human Histology
$99.00
The Proactive Leader
$64.99
Young Peoples Voice in School Science
$129.99
Pollution of Water Bodies in Latin America
$109.99
On Superconductivity and Superfluidity
$39.99
Around the Research of Vladimir Maz'ya III
$84.99
The ChangE-1 Topographic Atlas of the Moon
$179.99
Agency Theory and Executive Pay
$44.99
The Clock Struck One
$5.21
Chemistry and Technology of Agrochemical Formulations
$259.00
Einstellungen Personalverantwortlicher zur Beschftigung von Menschen mit Behinderungen
$49.99
Emerging Trends in Composite Structures
$279.99
Operative Planung des Recyclings von Eisenhttenschlacken
$64.99
Spring After Spring
$6.71
Klassen, Schichten, Mobilitt
$29.99
Peppa Pig: Easter Surprise
$5.99
Evolution of the Human Genome I
$219.99
Two-Parameter Martingales and Their Quadratic Variation
$29.99
Refined Iterative Methods for Computation of the Solution and the Eigenvalues of Self-Adjoint Bounda
$39.99
Der Staat als Integration
$49.99
Neural Information Processing
$79.99
Kontrolle der Ventilation in der Neugeborenen- und Suglingsanaesthesie
$69.99
Public-Key Cryptography PKC 2024
$139.99
Prediction and Calculation of Crystal Structures
$349.00
Understanding Social Research Networking Sites
$54.99
Theoretical Acoustics and Numerical Techniques
$54.99
Mathematik fr Wirtschaftswissenschaftler 2
$24.99
Die wandlungsaffine Unternehmung
$59.99
Morphology of Crystals
$219.99
Elementary Lectures in Statistical Mechanics
$39.99
Logistik
$29.99
Two-Dimensional Quadratic Nonlinear Systems
$139.00
The Religions of the Book
$39.99
