![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
International Conference on Theorem Proving with Analytic Tableaux and Related Methods
32nd TABLEAUX 2023: Prague, Czech Republic
- Revantha Ramanayake
, Josef Urban
:
Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, Proceedings. Lecture Notes in Computer Science 14278, Springer 2023, ISBN 978-3-031-43512-6 [contents]
30th TABLEAUX 2021: Birmingham, UK
- Anupam Das, Sara Negri:
Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings. Lecture Notes in Computer Science 12842, Springer 2021, ISBN 978-3-030-86058-5 [contents]
28th TABLEAUX 2019: London, UK
- Serenella Cerrito, Andrei Popescu:
Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings. Lecture Notes in Computer Science 11714, Springer 2019, ISBN 978-3-030-29025-2 [contents]
26th TABLEAUX 2017: Brasília, Brazil
- Renate A. Schmidt, Cláudia Nalon:
Automated Reasoning with Analytic Tableaux and Related Methods - 26th International Conference, TABLEAUX 2017, Brasília, Brazil, September 25-28, 2017, Proceedings. Lecture Notes in Computer Science 10501, Springer 2017, ISBN 978-3-319-66901-4 [contents]
24th TABLEAUX 2015: Wrocław, Poland
- Hans de Nivelle:
Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference, TABLEAUX 2015, Wrocław, Poland, September 21-24, 2015. Proceedings. Lecture Notes in Computer Science 9323, Springer 2015, ISBN 978-3-319-24311-5 [contents]
22nd TABLEAUX 2013: Nancy, France
- Didier Galmiche, Dominique Larchey-Wendling
:
Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings. Lecture Notes in Computer Science 8123, Springer 2013, ISBN 978-3-642-40536-5 [contents]
20th TABLEAUX 2011: Bern, Switzerland
- Kai Brünnler, George Metcalfe:
Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Lecture Notes in Computer Science 6793, Springer 2011, ISBN 978-3-642-22118-7 [contents] - Martin Giese, Roman Kuznets:
TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011. University of Bern, Technical Report IAM-11-002, 2011 [contents]
18th TABLEAUX 2009: Oslo, Norway
- Martin Giese, Arild Waaler:
Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Lecture Notes in Computer Science 5607, Springer 2009, ISBN 978-3-642-02715-4 [contents]
16th TABLEAUX 2007: Aix en Provence, France
- Nicola Olivetti:
Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Lecture Notes in Computer Science 4548, Springer 2007, ISBN 978-3-540-73098-9 [contents]
14th TABLEAUX 2005: Koblenz, Germany
- Bernhard Beckert:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings. Lecture Notes in Computer Science 3702, Springer 2005, ISBN 3-540-28931-3 [contents]
12th TABLEAUX 2003: Rome, Italy
- Marta Cialdea Mayer, Fiora Pirri:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Lecture Notes in Computer Science 2796, Springer 2003, ISBN 3-540-40787-1 [contents]
11th TABLEAUX 2002: Copenhagen, Denmark
- Uwe Egly, Christian G. Fermüller:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings. Lecture Notes in Computer Science 2381, Springer 2002, ISBN 3-540-43929-3 [contents]
9th TABLEAUX 2000: University of St Andrews, Scotland
- Roy Dyckhoff:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings. Lecture Notes in Computer Science 1847, Springer 2000, ISBN 3-540-67697-X [contents]
8th TABLEAUX 1999: Saratoga Springs, NY, USA
- Neil V. Murray:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings. Lecture Notes in Computer Science 1617, Springer 1999, ISBN 3-540-66086-0 [contents]
7th TABLEAUX 1998: Oisterwijk, The Netherlands
- Harrie C. M. de Swart:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Lecture Notes in Computer Science 1397, Springer 1998, ISBN 3-540-64406-7 [contents]
6th TABLEAUX 1997: Pont-à-Mousson, France
- Didier Galmiche:
Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings. Lecture Notes in Computer Science 1227, Springer 1997, ISBN 3-540-62920-3 [contents]
5th TABLEAUX 1996: Terrasini, Palermo, Italy
- Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi:
Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Lecture Notes in Computer Science 1071, Springer 1996, ISBN 3-540-61208-4 [contents]
4th TABLEAUX 1995: Schloß Rheinfels, St. Goar, Germany
- Peter Baumgartner, Reiner Hähnle
, Joachim Posegga:
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings. Lecture Notes in Computer Science 918, Springer 1995, ISBN 3-540-59338-1 [contents]
3rd TABLEAUX 1994: Abingdon near Oxford, UK
2nd TABLEAUX 1993: Marseille, France
1st TABLEAUX 1992: Lautenbach near Karlsruhe, Germany
- Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl:
Workshop Theorem Proving with Analytic Tableaux and Related Methods, Lautenbach. Universität Karlsruhe, Fakultät für Informatik, Institut für Logik, Komplexität und Deduktionssysteme, Interner Bericht 8/92, March 18-20, 1992. 1992 [contents]
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.