{"product_id":"automated-reasoning-with-analytic-tableaux-didier-galmiche-9783540629207","title":"Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, Tableaux'97, Pont-A-Mousson, France, May 13-16, 1997 Proceed","description":"This book constitutes the refereed proceedings of the International Conference on Analytic Tableaux and Related Methods, TABLEAUX'97, held in Pont-a-Mousson, France, in May 1997.\u003cbr\u003eThe volume presents 22 revised full papers selected from a total of 49 submissions. Also included are two invited papers and two system descriptions. The volume covers the whole spectrum of tableaux-based theorem proving and its applications including theoretical foundations, methodological issues, implementation techniques, and system development. Besides classical logics, among the logics dealt with are modal, intuitionistic, many-valued, and temporal logic.\u003cbr\u003e\u003cbr\u003e\u003cb\u003eAuthor:\u003c\/b\u003e Didier Galmiche\u003cbr\u003e\u003cb\u003eISBN-10:\u003c\/b\u003e 3540629203\u003cbr\u003e\u003cb\u003eISBN-13:\u003c\/b\u003e 9783540629207\u003cbr\u003e\u003cb\u003ePublisher:\u003c\/b\u003e Springer\u003cbr\u003e\u003cb\u003eLanguage:\u003c\/b\u003e English\u003cbr\u003e\u003cb\u003ePublished:\u003c\/b\u003e 04\/29\/1997\u003cbr\u003e\u003cb\u003ePages:\u003c\/b\u003e 380\u003cbr\u003e\u003cb\u003eFormat:\u003c\/b\u003e Paperback\u003cbr\u003e\u003cb\u003eWeight:\u003c\/b\u003e 1.21lbs\u003cbr\u003e\u003cb\u003eSize:\u003c\/b\u003e 9.21h x 6.14w x 0.81d","brand":"Didier Galmiche","offers":[{"title":"Paperback","offer_id":48486956531967,"sku":"9783540629207","price":54.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0662\/2982\/9887\/files\/img_07df7c29-4635-4e31-84c1-752d6f34feba.jpg?v=1778057386","url":"https:\/\/www.whiterainbookhouse.com\/products\/automated-reasoning-with-analytic-tableaux-didier-galmiche-9783540629207","provider":"WR Book House","version":"1.0","type":"link"}