Ida, Tetsuo.
概要
| 作品: | 2 作品在 2 項出版品 1 種語言 | |
|---|---|---|
書目資訊
Symbolic computation in software science = 10th international symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024 : proceedings /
by:
Watt, Stephen M.; Workshop on the Preservation of Stability under Discretization ((2001 :); Ida, Tetsuo.; SpringerLink (Online service)
(書目-語言資料,印刷品)
Automated deduction in geometry = 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012 : revised selected papers /
by:
SpringerLink (Online service); Ida, Tetsuo.; Workshop on the Preservation of Stability under Discretization ((2001 :); Fleuriot, Jacques.
(書目-語言資料,印刷品)
An Introduction to Computational Origami
by:
Ida, Tetsuo.; SpringerLink (Online service)
(書目-語言資料,印刷品)
, [http://id.loc.gov/vocabulary/relators/aut]
主題
Software Engineering.
Artificial Intelligence (incl. Robotics)
Computer science—Mathematics.
Computer mathematics.
Formal methods (Computer science)
Mathematical Applications in Computer Science.
Artificial Intelligence.
Automatic theorem proving
Symbolic and Algebraic Manipulation.
Geometry
Computer Graphics.
Theory of Computation.
Discrete Mathematics in Computer Science.
Computer Science.
Mathematical Logic and Formal Languages.
Computer science