{"product_id":"logic-based-program-synthesis-and-transformation-von-undefined-7","title":"Logic-Based Program Synthesis and Transformation","description":"\n                                \n                \u003cp\u003eThis 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. \u003c\/p\u003e\n                                \n                \u003cp\u003eThe 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.\u003c\/p\u003e\n                            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783031457838\"\u003e\u003ch3\u003e33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Autorenwelt Shop","offers":[{"title":"Softcover - 9783031457838","offer_id":47202009710917,"sku":"9783031457838","price":58.84,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/a92f451e-b66f-48b7-a675-bbe4b4d3995e.jpg?v=1773552292","url":"https:\/\/shop.autorenwelt.de\/en\/products\/logic-based-program-synthesis-and-transformation-von-undefined-7","provider":"Autorenwelt Shop","version":"1.0","type":"link"}