{"product_id":"automated-reasoning-with-analytic-tableaux-and-related-methods-international-conference-tableaux97-pont-a-mousson-france-may-13-16-1997-proceedings-von-didier-galmiche-hrsg","title":"Automated Reasoning with Analytic Tableaux and Related Methods","description":"\n                                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.\n                \n                \u003cbr\u003e\n                                The 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.\n            \n            \u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540629207\"\u003e\u003ch3\u003eInternational Conference, TABLEAUX'97, Pont-a-Mousson, France, May 13-16, 1997 Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540629207","offer_id":39437028819037,"sku":"9783540629207","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/400be6a7-f723-4fb8-8dd3-8df21495782c.jpg?v=1773554403","url":"https:\/\/shop.autorenwelt.de\/products\/automated-reasoning-with-analytic-tableaux-and-related-methods-international-conference-tableaux97-pont-a-mousson-france-may-13-16-1997-proceedings-von-didier-galmiche-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}