|
Showing 1 - 4 of
4 matches in All Departments
|
Artificial Intelligence and Symbolic Computation - 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings (Paperback, 2006 ed.)
Jaques Calmet, Tetsuo Ida, Dongming Wang
|
R1,652
Discovery Miles 16 520
|
Ships in 10 - 15 working days
|
Here are the refereed proceedings of the 8th International
Conference on Artificial Intelligence and Symbolic Computation,
AISC 2006.
The book presents 18 revised full papers together with 4 invited
papers, organized in topical sections on artificial intelligence
and theorem proving, symbolic computation, constraint
satisfaction/solving, and mathematical knowledge management.
Coverage includes mathematical foundations, implementations, and
applications in industry and academia.
|
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.
|
|