Saxo Access
Indkøbskurv
  3. Artificial Intelligence and Symbolic Computation
Artificial Intelligence and Symbolic Computation (e-bog) af -
Wang, Dongming (redaktør)

Artificial Intelligence and Symbolic Computation e-bog

436,85 DKK (inkl. moms 546,06 DKK)
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 m...
E-bog 436,85 DKK
Kan læses i vores apps til iPhone/iPad og Android.
Forfattere Wang, Dongming (redaktør)
Forlag Springer
Udgivet 21 september 2006
Genrer PBD
Sprog English
Format pdf
Beskyttelse LCP
ISBN 9783540397304

Beskrivelse

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.