Bøger af Tetsuo Ida
-
- 8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
571,95 kr. 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 computation, constraint satisfaction/solving, and mathematical knowledge management. Coverage includes mathematical foundations, implementations, and applications in industry and academia.
- Bog
- 571,95 kr.
-
- 9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
516,95 kr. 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 rounds of reviewing and improvement from the lectures given at the workshop. The conference represents a forum to exchange ideas and views, to present research results and progress, and to demonstrate software tools at the intersection between geometry and automated deduction; the scope of the ADG 2012 moreover has been expanded to cover topics in dynamic geometry.
- Bog
- 516,95 kr.
-
1.973,95 kr. In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers.
- Bog
- 1.973,95 kr.