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
Islamic Finance and Circular Economy
$199.99
Sustainable Boardrooms
$119.00
Making Sibling Teams Work
$14.99
Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops
$79.99
Advanced Visual Quantum Mechanics
$79.99
A History of Radionuclide Studies in the UK
$59.99
Das Bild der Masern auf der ueren Haut
$49.99
Adipositas- und metabolische Chirurgie
$99.00
Circulating Regulatory Factors and Neuroendocrine Function
$54.99
Technik und Medizin
$79.99
Langzeitberleben nach Brustkrebs
$39.99
Die Spezielle Lehre von den Knochenbrchen und Ihrer Behandlung Einschliesslich der Komplizierenden
$49.99
Schwarzbuch Soziale Arbeit
$54.99
Performancemanagement fr serviceorientierte Java-Anwendungen
$29.99
Geospatial Aspects of Managing the Development of Complex Systems
$199.99
International Conference on Computer Networks and Communication Technologies
$219.99
Growing Old in the Future
$169.99
Reframing Humans in Information Systems Development
$169.99
Food Biotechnology
$329.99
Lie Group Representations III
$44.99
Aquatic Microbial Ecology
$84.99
Dysexecutive Syndromes
$109.99
Social Coordination Frameworks for Social Technical Systems
$109.99
Handelskrieg und Handelsgesprche zwischen China und den USA
$99.99
Holographic Entanglement Entropy
$49.99
Independent Energy Regulation in a Developing Economy
$79.99
Reframing the Vernacular: Politics, Semiotics, and Representation
$54.99
Nanomaterials for Eco-friendly Applications
$109.99
Erziehung und Bildung
$39.99
Die Nibelungenbrcke in Worms am Rhein
$49.99
Ultrasonic Doppler Velocity Profiler for Fluid Flow
$109.99
Atlas of Contrast-enhanced Sonography of Focal Liver Lesions
$109.99
Civil Wars and Third-Party Interventions in Africa
$109.99
Mission Design & Implementation of Satellite Constellations
$299.00
Chemie fr Bauingenieure und Architekten
$59.99
Dude, You're a Dad!- How to Get (All of You) Through Your Baby's First Year by John Pfeiffer
$14.99
The Aesthetics and Politics of Global Hunger
$84.99
Berechnung von Rahmenkonstruktionen und statisch unbestimmten Systemen des Eisen- und Eisenbetonbaue
$59.99
Roman Love Elegy and the Eros of Empire
$139.99
Professionelle Neukundengewinnung
$44.99
