Jaques Calmet - Böcker
Visar alla böcker från författaren Jaques Calmet. Handla med fri frakt och snabb leverans.
3 produkter
3 produkter
Algebraic Algorithms and Error-Correcting Codes
3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985. Proceedings
Häftad, Engelska, 1986
538 kr
Skickas inom 10-15 vardagar
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Häftad, Engelska, 2006
554 kr
Skickas inom 10-15 vardagar
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
Häftad, Engelska, 1996
554 kr
Skickas inom 10-15 vardagar
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.