Tetsuo Ida profile picture

Tetsuo Ida

Is this your author profile? Create an account to customize it!

Stand Alone

An Introduction to Computational Origami
An Introduction to Computational Origami
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Functional and Logic Programming
Symbolic Computation in Software Science