Browse
FAQ

Author

Tetsuo Ida

5 books found

Cover of Symbolic Computation in Software Science

Symbolic Computation in Software Science

Stephen Watt, Tetsuo Ida · First published 2024

Cover of Computational Origami

Computational Origami

Tetsuo Ida · First published 2020

Cover of Automated Deduction in Geometry

Automated Deduction in Geometry

Tetsuo Ida, Jacques Fleuriot · First published 2013

Cover of Artificial Intelligence and Symbolic Computation

Artificial Intelligence and Symbolic Computation

Jaques Calmet, Tetsuo Ida, Dongming Wang · First published 2006

Cover of Functional and Logic Programming

Functional and Logic Programming

Tetsuo Ida, Atsushi Ohori, Masato Takeichi · First published 1997