Tetsuo Ida

Books by Tetsuo Ida

Total count: 5

• Functional and Logic ProgrammingProceedings of the Second Fuji International Workshop

  World Scientific Publishing Co Pte Ltd1997-01-01
• Artificial Intelligence and Symbolic Computation8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings

  Springer London, Limited2006-01-01
• Automated Deduction in Geometry9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers

  Springer2013-01-01
• 
  Computational Origami

  Springer2020-12-01
• Symbolic Computation in Software Science10th International Symposium, SCSS 2024, Tokyo, Japan, August 28-30, 2024, Proceedings

  Springer2024-01-01