{"product_id":"automated-reasoning-with-analytic-tableaux-and-related-methods-springer-nature-switzerland-ag-9783030860585-30th-international-conference-tableaux-2021-birmingham-uk-september-6-9-2021-proceedings-anupam-das","title":"Automated Reasoning with Analytic Tableaux and Related Methods","description":"\u003cp\u003e\u003cstrong\u003eAutomated Reasoning with Analytic Tableaux and Related Methods\u003c\/strong\u003e by Anupam Das, Sara Negri.\u003c\/p\u003e\n\u003cp\u003ePublished by Springer International Publishing AG, (2021), Paperback, 467 pages.\u003c\/p\u003e","brand":"Anupam Das","offers":[{"title":"Default Title","offer_id":52279708385622,"sku":"9783030860585","price":54.55,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783030860585.jpg?v=1767824087","url":"https:\/\/www.bookshop.lv\/products\/automated-reasoning-with-analytic-tableaux-and-related-methods-springer-nature-switzerland-ag-9783030860585-30th-international-conference-tableaux-2021-birmingham-uk-september-6-9-2021-proceedings-anupam-das","provider":"Bookshop","version":"1.0","type":"link"}