{"product_id":"tableau-tableauresolution-und-tableaugraphresolution-peter-lang-gmbh-internationaler-verlag-der-wissenschaften-9783631440018-ein-neuer-weg-zur-automatischen-deduktion","title":"Tableau, Tableauresolution und Tableaugraphresolution","description":"\u003cp\u003e\u003cstrong\u003eTableau, Tableauresolution und Tableaugraphresolution\u003c\/strong\u003e by Wanlin Li.\u003c\/p\u003e\n\u003cp\u003ePublished by P. Lang, (1991), Paperback, 107 pages.\u003c\/p\u003e\n\u003cp\u003eTopics: Automatic theorem proving.\u003c\/p\u003e","brand":"Bookshop","offers":[{"title":"Default Title","offer_id":52227264512342,"sku":"9783631440018","price":50.45,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0886\/3206\/6390\/files\/9783631440018.jpg?v=1767741434","url":"https:\/\/www.englishbook.pt\/products\/tableau-tableauresolution-und-tableaugraphresolution-peter-lang-gmbh-internationaler-verlag-der-wissenschaften-9783631440018-ein-neuer-weg-zur-automatischen-deduktion","provider":"Bookshop","version":"1.0","type":"link"}