Skip to content
Home/ Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy,
Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy,

Automated Deduction - Cade-16: 16th International Conference on Automated Deduction, Trento, Italy,

No customer reviews yet ISBN 9783540662228 Springer

About the author

Product details

BrandSpringer
Pub dateJun 23, 1999
ISBN-103540662227
ISBN-139783540662228
LanguageEnglish
Dimensions9.25 × 1.02 × 6.1 in
Weight3 lb
Last updated 2026-08-08 01:50
$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