Tetsuo Ida - Böcker
Visar alla böcker från författaren Tetsuo Ida. Handla med fri frakt och snabb leverans.
6 produkter
6 produkter
Del 14991 - Lecture Notes in Computer Science
Symbolic Computation in Software Science
10th International Symposium, SCSS 2024, Tokyo, Japan, August 28–30, 2024, Proceedings
Häftad, Engelska, 2024
1 319 kr
Skickas inom 10-15 vardagar
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.
1 848 kr
Skickas inom 10-15 vardagar
In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers.
Artificial Intelligence and Symbolic Computation
8th International Conference, AISC 2006, Beijing, China, September 20-22, 2006, Proceedings
Häftad, Engelska, 2006
554 kr
Skickas inom 10-15 vardagar
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.
Automated Deduction in Geometry
9th International Workshop, ADG 2012, Edinburgh, UK, September 17-19, 2012. Revised Selected Papers
Häftad, Engelska, 2013
510 kr
Skickas inom 10-15 vardagar
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.
Functional And Logic Programming - Proceedings Of The Fuji International Workshop
Inbunden, Engelska, 1995
1 879 kr
Tillfälligt slut
This volume is a compilation of the papers presented at the Fuji International Workshop on Functional and Logic Programming in Fuji, Susono, Japan. Topics include Language Design, Formal Semantics, Compilation Techniques, Program Transformation, Programming Methods, etc.
Functional And Logic Programming - Proceedings Of The Second Fuji International Workshop
Inbunden, Engelska, 1997
1 879 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 concurrency.