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
Barock und Rokoko in der deutschen Dichtung
$49.99
Clinical Applications of Immunotoxins
$109.99
Versuche ber das plastische Verhalten von zweifeldrigen Stahlbetonbalken
$54.99
Low-Voltage CMOS Log Companding Analog Design
$84.99
Digital Economy. Emerging Technologies and Business Innovation
$119.99
Close Calls
$169.99
Mechanismen zur Synchronisation paralleler Prozesse
$69.99
Echtzeit-Kollisionsschutz an NC-Drehmaschinen
$59.99
Mikrowellentechnik
$39.99
3-D Spinors, Spin-Weighted Functions and their Applications
$39.99
Perturbation Methods and Semilinear Elliptic Problems on R^n
$54.99
Elektronische Dieselregelung
$17.99
Economic Activities Under the Japanese Colonial Empire
$54.99
Kundenwertbasierte Effizienzmessung
$74.99
Zielorientierte Unternehmensfinanzierung
$59.99
Applied Soft Computing Technologies: The Challenge of Complexity
$329.99
Game Equilibrium Models IV
$109.99
Female Sexual Function and Dysfunction
$89.00
Hormone und Psyche die Endokrinologie des Alternden Menschen
$59.99
Reframing Sustainable Tourism
$129.99
Catalytic Ignition of Hydrogen and Hydrogen-Hydrocarbon Blends Over Noble Metals
$139.00
Magnetic Resonance Imaging
$54.99
Arbeitsort Schule
$59.99
Management of Adult Glioma in Nursing Practice
$54.99
Frsen und Verzahnen
$44.99
Spin Crossover in Transition Metal Compounds I
$259.00
sthetisches Verhalten
$39.99
Pediatric Ophthalmology
$329.99
Rabies
$219.99
Waves with Power-Law Attenuation
$139.00
Oxford Economics And Oxford Economists
$109.99
The Psychology of Customer Care
$169.99
Computer Communication, Networking and IoT
$169.00
Building Global Education with a Local Perspective
$109.99
Design for Manufacturability and Statistical Design
$169.99
Social Media as a Space for Peace Education
$109.99
Fortress of the Stone Dragon: A Branches Book (Dragon Masters #17)
$4.49
Decisions about Re-engineering
$109.99
Protective Coatings and Thin Films
$329.99
Blockade und Chirurgie des Sympathicus
$79.99
