Skip to content
Home/ Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France,
Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France,

Automated Deduction -- Cade-12: 12th International Conference on Automated Deduction Nancy, France,

No customer reviews yet ISBN 9783540581567

About the author

Product details

Pub dateJun 8, 1994
ISBN-103540581561
ISBN-139783540581567
LanguageEnglish
Last updated 2026-08-28 15:39
$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