Jaques Calmet – författare
Visar alla böcker från författaren Jaques Calmet. Handla med fri frakt och snabb leverans.
3 produkter
Algebraic Algorithms and Error-Correcting Codes
3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985. Proceedings
Häftad, 1986
552 kr
Lägg i varukorg
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Av Jaques Calmet, Tetsuo Ida m. fl.
Häftad, 2006
568 kr
Lägg i varukorg
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 …
Artificial Intelligence and Symbolic Mathematical Computation
International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings
Av Jaques Calmet, John A. Campbell m. fl.
Häftad, 1996
568 kr
Lägg i varukorg
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 …