|
Showing 1 - 1 of
1 matches in All Departments
|
Artificial Intelligence and Symbolic Mathematical Computation - International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings (Paperback, 1996 ed.)
Jaques Calmet, John A. Campbell, Jochen Pfalzgraf
|
R1,719
Discovery Miles 17 190
|
Ships in 10 - 15 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.
|
You may like...
Catan
(16)
R1,150
R887
Discovery Miles 8 870
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.