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:
Buy Automated Deduction - CADE-15 for $39.99 at @ Link.springer.com
No coupon is required — this is the standard retail price.
Set a price drop alert to never miss an offer.
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 |
|
$39.99 | 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
AGILE 2015
$109.99
The Thermoballistic Transport Model
$109.99
Current Trends in Immunity and Respiratory Infections
$159.99
Infrared Spectroscopy of Minerals and Related Compounds
$329.99
Internationale Handelsfinanzierung
$44.99
Anticipatory Ethics and The Use of CRISPR in Humans
$139.99
Speedmanagement fr Fusionen
$44.99
Education, Dominance and Identity
$49.99
Soziale Ungleichheit in Indien
$17.99
Fernsehwelten
$34.99
Next Step Guided Reading in Action 3 & Up (10-copy pack)
$449.90
Biotechnology and Biochemical Engineering
$109.99
Methodology of Relational Sociology
$119.00
The Origin of Life and Evolutionary Biochemistry
$84.99
Handbook on Business Process Management 1
$249.99
Organogene Dnenbildung
$59.99
Inverse Probleme
$24.99
Investment Guide for EU Expansion
$109.99
Social Fuzziology
$84.99
Biodiversity and Savanna Ecosystem Processes
$109.99
Analyse segmentierter elektrischer Maschinen in einem Kfz-Antriebsstrang
$79.99
Skepticism, Justification, and Explanation
$169.99
Neue Topologische Methoden in der Algebraischen Geometrie
$59.99
Sustainable Tertiary Education in Asia
$159.99
Measuring Cerebellar Function
$249.99
First European Congress of Mathematics
$39.99
One Day in the Eucalyptus, Eucalyptus Tree
$4.46
Primary Management of Polytrauma
$54.99
Optische Kohrenztomographie des vorderen Augenabschnitts
$139.99
Diversity as Catalyst: Economic Growth and Urban Resilience in Global Cityscapes
$139.99
The Changing Place of Europe in Global Memory Cultures
$119.99
Metastatic Neoplasms in Fine-Needle Aspiration Cytology
$54.99
Foundations of Software Technology and Theoretical Computer Science
$39.99
Mobile Payment
$39.99
Incremental Version-Space Merging: A General Framework for Concept Learning
$84.99
The Evolution of Human Hunting
$54.99
Introduction to Probability, Statistics & R
$69.99
Beitrge zur Geschichte der Naturwissenschaften und der Technik
$59.99
Tree-based Heterogeneous FPGA Architectures
$109.99
Anfangswertprobleme bei Partiellen Differentialgleichungen
$69.95
