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-14
Best Price:
Buy Automated Deduction - CADE-14 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 strictly refereed proceedings of the 14th International Conference on Automated Deduction, CADE-14, held in Townsville, North Queensland, Australia, in July 1997. The volume presents 25 revised full papers selected from a total of 87 submissions; also included are 17 system descriptions and two invited contributions. The papers cover a wide range of current issues in the area including resolution, term rewriting, unification theory, induction, high-order logics, nonstandard logics, AI methods, and applications to software verification, geometry, and social science.
Reviews
Questions & Answers
Visions of African Unity
$119.00
Artificial General Intelligence
$64.99
Chemistry and Technology of Honey Production
$49.99
Reformen jetzt!
$44.99
A Panoramic History of Traditional Chinese Ethics
$139.99
Nanobiosensors for Agricultural, Medical and Environmental Applications
$139.00
Electroweak Effects at High Energies
$54.99
Proceedings of the 35th International MATADOR Conference
$169.00
Mind the Gap
$129.00
Linear Integral Equations
$99.99
Economic Decisions Under Uncertainty
$54.99
Economies of Literature and Knowledge in Early Modern Europe
$54.99
Fazbear Frights Box Set (Five Nights at Freddy's) by Scott Cawthon
$109.89
Lipid-Protein Interactions
$139.00
Masculinities and the Nation in the Modern World
$54.99
Die Bewetterung chemisch modifizierter Wollgarne
$54.99
Recovering Assemblages
$109.99
Active Directory Field Guide
$24.99
Enterprise Risk Management Models
$119.99
Funktionsstrungen und funktionelle Strungen
$54.99
Das Unterbewusstsein
$59.99
The Europeanisation of the Western Balkans
$169.99
Arthrography
$84.99
Heine-Jahrbuch 2019
$19.99
Die Chromgerbung
$59.99
Feminism and Linguistic Theory
$89.99
Die Zukunft sieht alt aus
$59.99
Right to the City Novels in Turkish Literature from the 1960s to the Present
$129.99
NATOs Conventional Defences
$59.99
Demokratie
$54.99
Using SPSS for Windows
$59.95
Internationalisation, Corporate Preferences and Commercial Policy in Japan
$109.99
Ecological Soil-Cement Bricks from Waste Materials
$39.99
Phonics Chapter Book - Level 2: Tall in the Saddle
$6.74
Wahrnehmung und Herstellung von Geschlecht
$59.99
Histamine and Histamine Receptors in Health and Disease
$329.99
Wissensmanagement
$84.99
The Idea of Music
$89.00
Bonner Enzyklopdie der Globalitt
$199.99
Classical and Spatial Stochastic Processes
$39.99
