{"product_id":"logic-based-program-synthesis-and-transformation-21st-international-symposium-lopstr-2011-odense-denmark-july-18-20-2011-revised-selected-paper-9783642322105","title":"Logic-Based Program Synthesis and Transformation: 21st International Symposium, Lopstr 2011, Odense, Denmark, July 18-20, 2011. Revised Selected Paper","description":"\u003cp\u003e • Author(s): Germán Vidal\u003cbr\u003e • Publisher: Springer\u003cbr\u003e • Publisher Imprint: Springer\u003cbr\u003e • BISAC: Artificial Intelligence - General\u003c\/p\u003e\u003cp\u003eThis book constitutes the thoroughly refereed proceedings of the 21st International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2011, held in Odense, Denmark in July 2011.\u003c\/p\u003e","brand":"Springer","offers":[{"title":"Paperback","offer_id":47599087616151,"sku":"9783642322105","price":5358.0,"currency_code":"INR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0666\/3471\/1191\/files\/9783642322105.webp?v=1775003091","url":"https:\/\/atlanticbooks.com\/products\/logic-based-program-synthesis-and-transformation-21st-international-symposium-lopstr-2011-odense-denmark-july-18-20-2011-revised-selected-paper-9783642322105","provider":"Atlantic Books","version":"1.0","type":"link"}