Automated Reasoning with Analytic Tableaux and Related Methods

International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings

Herausgegeben: Egly, Uwe; Fernmüller, Christian G.
Versandkostenfrei!
Versandfertig in 1-2 Wochen
39,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
20 °P sammeln!
This 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 ...