{"product_id":"9783031167669","title":"Logic-Based Program Synthesis and Transformation : 32nd International Symposium, LOPSTR 2022, Tbilisi, Georgia, September 21-23, 2022, Proceedings (Lecture Notes in Computer Science 13474) (1st ed. 2022. 2022. xiii, 155 S. XIII, 155 p. 31 illus., 16 illus","description":"\u003cp\u003eXIII, 155 p. 31 illus., 16 illus. in color.\u003c\/p\u003e","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":48841445507307,"sku":"00000_00000_00000_00000","price":109.85,"currency_code":"SGD","in_stock":true}],"url":"https:\/\/kinokuniya.com.sg\/products\/9783031167669","provider":"Books Kinokuniya Singapore","version":"1.0","type":"link"}