{"product_id":"hahnle-reiner-automated-reasoning-5th-international-joint-conference-ijcar-2010-edinburgh-uk-july-16-19-2010-proceedings-9783642142048","title":"Automated Reasoning: 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010, Proceedings","description":null,"brand":"Springer","offers":[{"title":"Default Title","offer_id":53671063814486,"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_9783642142048_1.jpg?v=1781741534","url":"https:\/\/www.momoxbooks.com\/products\/hahnle-reiner-automated-reasoning-5th-international-joint-conference-ijcar-2010-edinburgh-uk-july-16-19-2010-proceedings-9783642142048","provider":"momoxbooks","version":"1.0","type":"link"}