T. I. · Tatsuo Itoh · Tetsu Iwata
Titel | ISBN-13 (ISBN-10) | Erschei- nungsjahr | andere Autoren |
---|---|---|---|
Artificial Intelligence and Symbolic Computation: 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings | 978-3-540-39728-1 (3-540-39728-0) | 2008 | Dongming Wang · Jaques Calmet |
Automated Deduction in Geometry: 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers | 978-3-642-40671-3 (3-642-40671-8) | 2013 | Jacques Fleuriot |
Computational Origami | 978-3-319-59188-9 (3-319-59188-6) | 2020 |