{"title":"Tetsuo Ida","description":null,"products":[{"product_id":"introduction-to-computational-origami-book-tetsuo-ida-9783319591889","title":"An Introduction to Computational Origami","description":"In this book, origami is treated as a set of basic geometrical objects that are represented and manipulated symbolically and graphically by computers.","brand":"WoB","offers":[{"title":"- \/ - \/ -","offer_id":51060807008529,"sku":"","price":0.0,"currency_code":"GBP","in_stock":true},{"title":"US \/ NEW \/ INGRAM","offer_id":51060809662737,"sku":"NIN9783319591889","price":0.0,"currency_code":"GBP","in_stock":false},{"title":"GB \/ NEW \/ INGRAM","offer_id":52686785216785,"sku":"NLS9783319591889","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/3319591886.jpg?v=1786057498"},{"product_id":"automated-deduction-in-geometry-book-tetsuo-ida-9783642406713","title":"Automated Deduction in Geometry","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52431483994385,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52431484682513,"sku":"NLS9783642406713","price":0.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9783642406713.jpg?v=1786614331"},{"product_id":"functional-and-logic-programming-proceedings-of-the-second-fuji-international-wo-book-tetsuo-ida-9789810229238","title":"FUNCTIONAL AND LOGIC PROGRAMMING - PROCEEDINGS OF THE SECOND FUJI INTERNATIONAL WORKSHOP","description":"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.","brand":"WoB","offers":[{"title":"- \/ - \/ INTERNAL","offer_id":52455873511697,"sku":null,"price":0.0,"currency_code":"GBP","in_stock":true},{"title":"GB \/ NEW \/ INGRAM","offer_id":52455874035985,"sku":"NLS9789810229238","price":0.0,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0784\/4072\/6801\/files\/9789810229238.jpg?v=1759399732"}],"url":"https:\/\/www.worldofbooks.com\/en-gb\/collections\/author-books-by-tetsuo-ida.oembed","provider":"World of Books ","version":"1.0","type":"link"}