Autexier, Serge.
概要
| 作品: | 1 作品在 0 項出版品 0 種語言 | |
|---|---|---|
書目資訊
Intelligent computer mathematics10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010 : proceedings /
by:
(1998 :); Autexier, Serge.; SpringerLink (Online service)
(書目-電子資源)
Intelligent Computer Mathematics9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings /
by:
(1998 :); Autexier, Serge.; SpringerLink (Online service)
(書目-電子資源)
主題
Mathematical analysis
Mathematics
Algebra
Artificial Intelligence (incl. Robotics)
Data Mining and Knowledge Discovery.
Numeric Computing.
Information Systems Applications (incl.Internet)
Computer Science.
Computer Communication Networks.
Logic, Symbolic and mathematical
Knowledge management
Symbolic and Algebraic Manipulation.