Tetsuo Ida – författare
Visar alla böcker från författaren Tetsuo Ida. Handla med fri frakt och snabb leverans.
8 produkter
Symbolic Computation in Software Science
10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings
Av Stephen M. Watt, Tetsuo Ida
Häftad, 2024
1353 kr
Lägg i varukorg
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.The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented …
Symbolic Computation in Software Science
10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings
Av Tetsuo Ida, Stephen M. Watt
E-bok, 2024
1798 kr
Lägg i varukorg
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. The 7 full papers were carefully reviewed and selected from 25 submissions. The papers presented …
Introduction to Computational Origami
Av Tetsuo Ida
Inbunden, 2020
1914 kr
Lägg i varukorg
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 geometrical problems are solved by means of origami, the book explains the methods not only with mathematical …
Introduction to Computational Origami
Av Tetsuo Ida
E-bok, 2020
2302 kr
Lägg i varukorg
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 geometrical problems are solved by means of origami, the book explains the methods not only with mathematical …
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Av Jaques Calmet, Tetsuo Ida m. fl.
Häftad, 2006
568 kr
Lägg i varukorg
Here are the refereed proceedings of the 8th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2006. The book presents 18 revised full papers together with 4 invited papers, organized in topical sections on artificial intelligence and theorem proving, symbolic …
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Av Tetsuo Ida, Jacques Fleuriot
Häftad, 2013
523 kr
Lägg i varukorg
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 10 revised full papers presented together with 2 invited papers were carefully selected during two …
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Av Jacques Fleuriot, Tetsuo Ida
E-bok, 2013
638 kr
Lägg i varukorg
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 10 revised full papers presented together with 2 invited papers were carefully selected during two …
FUNCTIONAL AND LOGIC PROGRAMMING - PROCEEDINGS OF THE SECOND FUJI INTERNATIONAL WORKSHOP
Av IDA TAKEICHI IDA A OHORI, Tetsuo Ida m. fl.
Inbunden, 1997
1976 kr
Tillfälligt slut
This book discusses issues concerning functional programming, logic programming, and integration of the two. The topics include language design, formal semantics, compilation techniques, program transformation, programming methods, integration of programming paradigms, constraint solving, and …
