4 Ebooks de Tetsuo Ida
Jaques Calmet & Tetsuo Ida: Artificial Intelligence and Symbolic Computation
…
PDF
Inglés
DRM
€57.89
Jacques Fleuriot & Tetsuo Ida: Automated Deduction in Geometry
This book constitutes the thoroughly refereed post-workshop proceedings of the 9th International Workshop on Automated Deduction in Geometry, ADG 2012, held in Edinburgh, UK, in September 2012. The 1 …
PDF
Inglés
DRM
€51.34
Tetsuo Ida: An Introduction to Computational Origami
In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers. Focusing on how classical and modern g …
PDF
Inglés
€171.19
Tetsuo Ida & Stephen M. Watt: Symbolic Computation in Software Science
This book constitutes the refereed proceedings of the 10th International Symposium on Symbolic Computation in Software Science, SCSS 2024, which took place in Tokyo, Japan, during August 28-30, 2024. …
EPUB
Inglés
DRM
€127.35