|
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,675
Discovery Miles 16 750
|
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,743
Discovery Miles 17 430
|
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...
Loot
Nadine Gordimer
Paperback
(2)
R398
R330
Discovery Miles 3 300
|