Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptieren![Fernmüller, Christian G. / Uwe Egly (Hrsg.). Automated Reasoning with Analytic Tableaux and Related Methods - International Conference, TABLEAUX 2002. Copenhagen, Denmark, July 30 - August 1, 2002. Proceedings. Springer Berlin Heidelberg, 2002.](https://eichendorff21.de/cdata/pok8VPSl_gyy4vSl-pUN9OckI2g=/300x0/9783540439295.png)
Automated Reasoning with Analytic Tableaux and Related Methods
- Springer Berlin Heidelberg
- 2002
- Taschenbuch
- 356 Seiten
- ISBN 9783540439295
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 - ena. The frame of FLoC 2002 guaranteed once again close contact to the
Mehr
Weniger
zzgl. Versand
in Kürze