{"product_id":"logic-based-program-synthesis-and-transformation-springer-nature-switzerland-ag-9783030988685-31st-international-symposium-lopstr-2021-tallinn-estonia-september-7-8-2021-proceedings-emanuele-de-angelis","title":"Logic-Based Program Synthesis and Transformation","description":"\u003cp\u003eDiscover the groundbreaking work of Emanuele De Angelis in \u003cstrong\u003eLogic-Based Program Synthesis and Transformation\u003c\/strong\u003e, published by Springer Nature Switzerland AG in 2022. This insightful book compiles the refereed proceedings of the 31st International Conference on Logic-Based Program Synthesis and Transformation (LOPSTR 2021), held on September 7-8, 2021. Within its 177 pages, you will find eight meticulously reviewed papers that delve into the latest advancements and research in the field of logic-based program synthesis. Each contribution has been carefully selected from a total of 15 submissions, ensuring a high-quality reading experience for scholars and practitioners alike. Whether you are a researcher or an enthusiast in mathematics and programming, this first edition promises to enrich your understanding and inspire innovative approaches to program synthesis and transformation.\u003c\/p\u003e","brand":"Emanuele De Angelis","offers":[{"title":"Default Title","offer_id":52269783908694,"sku":"9783030988685","price":60.62,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030988685.jpg?v=1767803600","url":"https:\/\/www.englishbook.fi\/products\/logic-based-program-synthesis-and-transformation-springer-nature-switzerland-ag-9783030988685-31st-international-symposium-lopstr-2021-tallinn-estonia-september-7-8-2021-proceedings-emanuele-de-angelis","provider":"Bookshop","version":"1.0","type":"link"}