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 (Coupon Required):
Buy Automated Deduction - CADE-14 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 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
The Impact of Education in South Asia
$139.99
Gewalt in den Anden
$69.99
The Impacts of NAFTA on North America
$39.99
Unternehmerisches Handeln in moderner Gesellschaft
$39.99
Biostrmungsmechanik
$39.95
The Transmission of Kapsiki-Higi Folktales over Two Generations
$39.99
Mechanics of Moving Materials
$169.99
Frontiers of Expert Systems
$129.00
Selling to China
$44.99
The Role That Assistance Dogs Play in Supporting People with Disabilities
$49.99
Tribal Studies in India
$84.99
Nachrichten-Journalismus
$34.99
Artificial Intelligence: Theories, Models and Applications
$39.99
Algorithmen und Datenstrukturen
$59.99
Governing the Nexus
$84.99
Einfhrung in das Versicherungs-Schrifttum
$44.99
Emerging Research in Electronics, Computer Science and Technology
$219.99
Gender Mainstreaming in Sachsen-Anhalt
$59.99
Intelligent Collaborative e-Learning Systems and Applications
$129.00
Theory and Applications of Satisfiability Testing -- SAT 2012
$39.99
Product Development in the Socio-sphere
$84.99
Smart Living for Smart Cities
$179.99
Ideology, Agency, and Intercultural Communicative Competence
$129.99
Structural, Syntactic, and Statistical Pattern Recognition
$39.99
The Effects of Political Institutions on Varieties of Capitalism
$129.99
The Illegal Business of Human Trafficking
$109.99
Directions in Soviet Social Psychology
$54.99
Political Thought in Contemporary Shia Islam
$99.99
Zymography
$169.99
Neue Technologien und Mitbestimmung am Arbeitsplatz
$69.95
Information Technologies and Intelligent Decision Making Systems
$69.99
Regenerative Medicine and Brain Repair
$199.99
Digital Transformation in Accounting and Auditing
$179.99
Romantic Actors, Romantic Dramas
$129.99
Synthetic mRNA
$199.99
Blockchain for Cybersecurity in Cyber-Physical Systems
$179.99
Consciousness
$54.99
Perspectives on Time
$169.99
Discourse Constructions in English
$129.99
Braun-Falcos Dermatologie, Venerologie und Allergologie
$369.00
