{"product_id":"automated-reasoning-with-analytic-tableaux-and-related-methods-international-conference-tableaux-2002-copenhagen-denmark-july-30-august-1-2002-proceedings-von-uwe-egly-christian-g-fernmuller-hrsg","title":"Automated Reasoning with Analytic Tableaux and Related Methods","description":"\u003cp\u003eThis volume contains the research papers presented at the International Con- rence on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2002) held on July 30 ¿ August 1, 2002 in Copenhagen, Denmark, in the context of the third Federated Logic Conference (FLoC 2002). This c- ference was the continuation of international meetings on the same topic held in Lautenbach (1992), Marseille (1993), Abingdon (1994), St. Goar (1995), Ter- sini (1996), Pont-`a-Mousson (1997), Oisterwijk (1998), Saratoga Springs (1999), and St Andrews (2000). In 2001 TABLEAUX was part of IJCAR 2001 in - ena. The frame of FLoC 2002 guaranteed once again close contact to the larger Theorem Proving and Logic in Computer Science community. This was in par- cular witnessed by the talk by Matthias Baaz, jointly invited by CADE-18 and TABLEAUX 2002. Tableaux and related methods have been found to be a convenient formalism for automating deduction in various non-standard logics as well as in classical logic. This is nicely illustrated by the wide scope of logics that are covered by the papers collected in this volume: among them are linear logic, temporal - gics, various modal logics, including hybrid logic and multi-modal logics, fuzzy logics like G¿odel- andLuk asiewicz logics, various intermediate logics, quanti?ed boolean logic, and, of course, classical ?rst-order logic in various formats.\u003c\/p\u003e\u003cdiv class=\"aw-variant-hidden-subtitle-div\" id=\"aw-variant-subtitle-9783540439295\"\u003e\u003ch3\u003eInternational Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings\u003c\/h3\u003e\u003c\/div\u003e","brand":"Libri","offers":[{"title":"Softcover - 9783540439295","offer_id":39426083455069,"sku":"9783540439295","price":53.49,"currency_code":"EUR","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0940\/0622\/files\/bece8930-07f6-482a-abc3-8e055c336c0a.jpg?v=1773554396","url":"https:\/\/shop.autorenwelt.de\/products\/automated-reasoning-with-analytic-tableaux-and-related-methods-international-conference-tableaux-2002-copenhagen-denmark-july-30-august-1-2002-proceedings-von-uwe-egly-christian-g-fernmuller-hrsg","provider":"Autorenwelt Shop","version":"1.0","type":"link"}