Jaques Calmet – författare
Visar alla böcker från författaren Jaques Calmet. Handla med fri frakt och snabb leverans.
4 produkter
4 produkter
Häftad, Engelska, 1986
546 kr
Skickas inom 10-15 vardagar
Häftad, Engelska, 2006
562 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.
E-bok
PDF, Engelska, 2006687 kr
Läs direkt efter köp
Häftad, Engelska, 1996
562 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.