{"product_id":"gluck-robert-logic-based-program-synthesis-and-transformation-9783031457838","title":"Logic-Based Program Synthesis and Transformation","description":"This book constitutes the refereed proceedings of the 33rd International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2023, held in Cascais, Portugal, during October 23-24, 2023. The 8 full papers and 4 short papers included in this book were carefully reviewed and selected from 29 submissions. They were organized in topical sections as follows: Horn Clauses Analysis, Transformation and Synthesis; Static analysis and Type systems; Unification and substitution in (C)LP; and Knowledge representation and AI-based learning.","brand":"Springer","offers":[{"title":"Default Title","offer_id":54702549139798,"sku":null,"price":0.0,"currency_code":"EUR","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0925\/5829\/5382\/files\/product_image_9783031457838_1.jpg?v=1791132260","url":"https:\/\/www.momoxbooks.com\/products\/gluck-robert-logic-based-program-synthesis-and-transformation-9783031457838","provider":"momox","version":"1.0","type":"link"}