Tetsuo Ida

No bio available. Add one in Open Library.

Books by Tetsuo Ida (50 max)

+ shelf+ list

Automated Deduction in Geometry 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

2013

Tetsuo Ida, Jacques Fleuriot

+ shelf+ list

Functional and Logic Programming Proceedings of the Second Fuji International Workshop

1997

Tetsuo Ida, Atsushi Ohori, Masato Takeichi

+ shelf+ list

Artificial Intelligence and Symbolic Computation 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

2006

Jaques Calmet, Tetsuo Ida, Dongming Wang

+ shelf+ list

Computational Origami

2020

Tetsuo Ida

+ shelf+ list

Symbolic Computation in Software Science: 10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

2024

Stephen Watt, Tetsuo Ida