Skip to content
Home/ Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, Nor
Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, Nor

Automated Deduction - Cade-14: 14th International Conference on Automated Deduction, Townsville, Nor

No customer reviews yet ISBN 9783540631040

About the author

Product details

Pub dateJun 18, 1997
ISBN-103540631046
ISBN-139783540631040
LanguageEnglish
Last updated 2026-09-08 21:01
$57.47
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Artificial Intelligence - Expert Systems
See all
What to Think about Machines That Think: Today's Leading Thinkers on the Age of Machine Intelligence
Brockman, John
$12.77
Semantic Web for the Working Ontologist: Effective Modeling in RDFS and OWL
Allemang, Dean
$57.20
Hidden Semi-Markov Models: Theory, Algorithms and Applications
Yu, Shun-Zheng
$46.45
Multi-Dimensional Summarization in Cyber-Physical Society
Zhuge, Hai
$46.45
Quantum Inspired Computational Intelligence: Research and Applications
Bhattacharyya, Siddhartha
$115.80
Evolution of Knowledge Science: Myth to Medicine: Intelligent Internet-Based Humanist Machines
Ahamed, Syed V
$104.20