Bøger af Dongming Wang
-
- 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
570,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
- 570,95 kr.
-
1.702,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.702,95 kr.
-
567,95 - 574,95 kr. - Bog
- 567,95 kr.
-
565,95 kr. - Bog
- 565,95 kr.
-
1.096,95 - 1.587,95 kr. - Bog
- 1.096,95 kr.