Tetsuo Ida

Tetsuo Ida

3 books in the database

Books

Automated Deduction in GeometryTetsuo Ida

Automated Deduction in Geometry

Tetsuo Ida · 2013

Computational OrigamiTetsuo Ida

Computational Origami

Tetsuo Ida · 2020

Functional and Logic ProgrammingTetsuo Ida

Functional and Logic Programming

Tetsuo Ida · 1997

Co-authored books and collections

Books that list Tetsuo Ida among their authors but not as the lead author: co-written works, collections and compilations.

Symbolic Computation in Software ScienceStephen Watt

Symbolic Computation in Software Science

Stephen Watt · 2024

Artificial Intelligence and Symbolic ComputationJaques Calmet

Artificial Intelligence and Symbolic Computation

Jaques Calmet · 2006