Bøger af Dongming Wang
-
- 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
576,95 kr. 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.
- Bog
- 576,95 kr.
-
1.718,95 kr. This book presents the state-of-the-art in tackling differential equations using advanced methods and software tools of symbolic computation. It focuses on the symbolic-computational aspects of three kinds of fundamental problems in differential equations: transforming the equations, solving the equations, and studying the structure and properties of their solutions.
- Bog
- 1.718,95 kr.
-
573,95 - 581,95 kr. - Bog
- 573,95 kr.
-
571,95 kr. - Bog
- 571,95 kr.
-
1.107,95 - 1.602,95 kr. - Bog
- 1.107,95 kr.