{"product_id":"symbolic-computation-and-automated-reasoning-edited-by-manfred-kerber-michael-kohlhase","title":"Symbolic Computation and Automated Reasoning Edited By Manfred Kerber Michael Kohlhase","description":"\u003ch3\u003eDetails\u003c\/h3\u003e    \u003cul\u003e\n\u003cli\u003e            \u003cstrong\u003eType:            \u003c\/strong\u003e            Non-Fiction, Hardback\u003c\/li\u003e\n\u003cli\u003e      \u003cstrong\u003eCondition description:\u003c\/strong\u003e      name of previous owner in ink on inside page    \u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eTitle:            \u003c\/strong\u003e            Symbolic Computation and Automated Reasoning\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eAuthor:            \u003c\/strong\u003e            Manfred Kerber Michael Kohlhase\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eISBN:            \u003c\/strong\u003e            9781568811451\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eBook year:            \u003c\/strong\u003e            2001\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003ePage count:            \u003c\/strong\u003e            270\u003c\/li\u003e\n\u003cli\u003e            \u003cstrong\u003eGenre:            \u003c\/strong\u003e            Academic, Science \u0026amp; Technology\u003c\/li\u003e\n\u003c\/ul\u003e\u003cbr\u003eThis item is being sold under the Retail Gift Aid scheme which enables us to increase the value of donations by 25%. Shelter would like to make customers aware that we, as do many charities, act as an agent for the donor, selling goods on their behalf so that the net sale proceeds can, where the donor agrees, be given to the charity as a Gift Aid donation.","brand":"E47","offers":[{"title":"Default Title","offer_id":62225554735491,"sku":"E47-0026430 6","price":35.0,"currency_code":"GBP","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0099\/1258\/2210\/files\/IMG_0794_1.heic?v=1785323654","url":"https:\/\/shop.shelter.org.uk\/products\/symbolic-computation-and-automated-reasoning-edited-by-manfred-kerber-michael-kohlhase","provider":"Shop for Shelter","version":"1.0","type":"link"}