(Ilmumisaeg: 27-Aug-2024, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031690426)
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 selec...Loe edasi...
(Ilmumisaeg: 27-Aug-2024, EPUB+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783031690426)
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 selec...Loe edasi...
(Ilmumisaeg: 13-Aug-2020, PDF+DRM, Kirjastus: Springer International Publishing AG, ISBN-13: 9783319591896)
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,...Loe edasi...
(Ilmumisaeg: 02-Sep-2013, PDF+DRM, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, ISBN-13: 9783642406720)
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 inv...Loe edasi...
(Ilmumisaeg: 18-Mar-1997, PDF+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814546690)
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 pro...Loe edasi...
(Ilmumisaeg: 16-Nov-1995, PDF+DRM, Kirjastus: World Scientific Publishing Co Pte Ltd, ISBN-13: 9789814548601)
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, Prog...Loe edasi...
