{"product_id":"automated-theorem-proving-american-mathematical-society-9780821850275-after-25-years","title":"Automated Theorem Proving","description":"\u003cp\u003e\u003cstrong\u003eAutomated Theorem Proving\u003c\/strong\u003e by Special Session on Automatic Theorem Proving (1983 Denver, Colo.).\u003c\/p\u003e\n\u003cp\u003ePublished by American Mathematical Society, (1984), Paperback, 360 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Automatic theorem proving, Congresses, Mathematics, history.\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52252437479766,"sku":"9780821850275","price":68.51,"currency_code":"EUR","in_stock":true}],"url":"https:\/\/www.englishbook.fi\/products\/automated-theorem-proving-american-mathematical-society-9780821850275-after-25-years","provider":"Bookshop","version":"1.0","type":"link"}