Ida, Tetsuo.
Overview
| Works: | 0 works in 2 publications in 1 languages | |
|---|---|---|
Titles
An introduction to computational origami
by:
Ida, Tetsuo.; SpringerLink (Online service)
(Electronic resources)
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
(Electronic resources)
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.
(Electronic resources)
Subjects
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.