{"product_id":"9783030294359","title":"Automated Deduction - CADE 27 : 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings (Lecture Notes in Computer Science 11716) (1st ed. 2019. 2019. xxiii, 582 S. XXIII, 582 p. 110 illus., 56 illus.)","description":"","brand":"SPRINGER, BERLIN; SPRINGER INTERNATIONAL PUBLISHING;","offers":[{"title":"Default Title","offer_id":45552303669327,"sku":"00000_00000_00000_00000","price":3150.0,"currency_code":"TWD","in_stock":false}],"url":"https:\/\/kinokuniya.com.tw\/products\/9783030294359","provider":"Books Kinokuniya Taiwan","version":"1.0","type":"link"}