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
Elliptic Integrals, Elliptic Functions and Modular Forms in Quantum Field Theory
$189.00
The Carrot Seed
$5.96
NATO Expansion and US Strategy in Asia
$54.99
Nichtrostender austenitischer Stahl
$17.99
Applying AI-Based Tools and Technologies Towards Revitalization of Indigenous and Endangered Languag
$149.00
The Romances of John Fowles
$169.99
String Processing and Information Retrieval
$39.99
The CDA TM book
$84.99
Methoden der Potentialtheorie fr Elliptische Differentialgleichungen Beliebiger Ordnung
$49.99
The Louvre: The Many Lives of the World's Most Famous Museum by James Gardner
$20.00
Mechanics of Advanced Materials
$109.99
Shadowing and Hyperbolicity
$59.99
Einfhrung in Feedbackinstrumente in Organisationen
$17.99
Global Perspectives on Higher Education
$179.99
Modern Aspects of Electrochemistry
$169.99
JG=Tafel fr Luft und Verbrennungsgase
$49.99
Die Wirtschaftlichkeit der Stromversorgung des Haushalts
$59.99
Soziale Kohsion und gesellschaftliche Wandlungsprozesse
$39.99
Subcellular Biochemistry
$39.99
Information Systems Architecture and Technology: Proceedings of 38th International Conference on Inf
$169.99
International Trade
$54.99
Applied Ethics in Management
$84.99
Class 1 Oxidoreductases II
$329.99
Proceedings of International Ethical Hacking Conference 2018
$169.99
Dynamics of Multibody Systems
$119.00
Catholic Schools
$109.99
Ceramic-and Carbon-matrix Composites
$329.99
Vorstandsvergtung 2020
$89.00
Governance of Climate Responsive Cities
$139.99
Die Soziologischen Gedanken Kants im Zusammenhang seiner Philosophie
$49.99
Clinical Approaches in Endodontic Regeneration
$159.99
Beyond Missio Dei
$139.99
Vom Gesichtspunkt der Phnomenologie
$99.00
Damage-Associated Molecular Patterns in Human Diseases
$169.00
Frontiers in Membrane Technology
$219.00
Key Qualifications in Work and Education
$84.99
Zur Frage der Hydronephrose bei infantiler Phimose
$54.99
Re-imagining Hate Crime
$119.99
Spectroscopy at Radio and Microwave Frequencies
$39.99
One Love
$7.46
