|
Books > Computing & IT > Applications of computing > Artificial intelligence
|
Buy Now
Artificial Intelligence and Symbolic Mathematical Computation - International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Paperback, 1996 ed.)
Loot Price: R1,546
Discovery Miles 15 460
|
|
|
Artificial Intelligence and Symbolic Mathematical Computation - International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Paperback, 1996 ed.)
Series: Lecture Notes in Computer Science, 1138
Expected to ship within 18 - 22 working days
|
This book constitutes the refereed proceedings of the Third
International Conference on Artificial Intelligence and Symbolic
Mathematical Computation, AISMC-3, held in Steyr, Austria, in
September 1996.
The 19 revised full papers presented in the book were carefully
selected by the program committee; also included are four invited
survey and state-of-the-art contributions by Scott, Dillmann and
Friedrich, Cohn, and Wang. Among the topics addressed are theorem
proving, rewriting systems, symbolic computation, spatial
reasoning, computational geometry, and automated deduction.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
You might also like..
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.