Ida, Tetsuo.
概要
| 作品: | 0 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Artificial Intelligence and Symbolic Computation8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings /
by:
(1998 :); Calmet, Jaques.; Ida, Tetsuo.; SpringerLink (Online service); Wang, Dongming
(書目-電子資源)
Symbolic computation in software science10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
by:
(1998 :); Ida, Tetsuo.; SpringerLink (Online service); Watt, Stephen M.
(書目-電子資源)
主題
Artificial intelligence
Numeric Computing
Software Engineering.
Theory of Computation.
Discrete Mathematics in Computer Science
Artificial Intelligence (incl. Robotics)
Mathematical Applications in Computer Science.
Computer Science
Geometry
Formal methods (Computer science)
Origami
Mathematical Logic and Formal Languages
Computer science
Artificial Intelligence.
Logic, Symbolic and mathematical
Symbolic and Algebraic Manipulation
Symbolic and Algebraic Manipulation.