TABLEAUX Home Page

22. TABLEAUX 2013: Nancy, France

• 
  Didier Galmiche, Dominique Larchey-Wendling (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods - 22th International Conference, TABLEAUX 2013, Nancy, France, September 16-19, 2013. Proceedings. Springer 2013 Lecture Notes in Computer Science 8123 ISBN 978-3-642-40536-5 [ contents ]

6. IJCAR 2012: Manchester, UK

• 
  Bernhard Gramlich, Dale Miller, Uli Sattler (Eds.): Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. Proceedings. Springer 2012 Lecture Notes in Computer Science 7364 ISBN 978-3-642-31364-6 [ contents ]

20. TABLEAUX 2011: Bern, Switzerland

• 
  Kai Brünnler, George Metcalfe (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods - 20th International Conference, TABLEAUX 2011, Bern, Switzerland, July 4-8, 2011. Proceedings. Springer 2011 Lecture Notes in Computer Science 6793 ISBN 978-3-642-22118-7 [ contents ]

5. IJCAR 2010: Edinburgh, UK

• 
  Jürgen Giesl, Reiner Hähnle (Eds.): Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. Proceedings. Springer 2010 Lecture Notes in Computer Science 6173 ISBN 978-3-642-14202-4 [ contents ]

18. TABLEAUX 2009: Oslo, Norway

• 
  Martin Giese, Arild Waaler (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods, 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009. Proceedings. Springer 2009 Lecture Notes in Computer Science 5607 ISBN 978-3-642-02715-4 [ contents ]

4. IJCAR 2008: Sydney, NSW, Australia

• 
  Alessandro Armando, Peter Baumgartner, Gilles Dowek (Eds.): Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings. Springer 2008 Lecture Notes in Computer Science 5195 ISBN 978-3-540-71069-1 [ contents ]

16. TABLEAUX 2007: Aix en Provence, France

• 
  Nicola Olivetti (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, 16th International Conference, TABLEAUX 2007, Aix en Provence, France, July 3-6, 2007, Proceedings. Springer 2007 Lecture Notes in Computer Science 4548 ISBN 978-3-540-73098-9 [ contents ]

15. TABLEAUX / 3. IJCAR 2006: Seattle, WA, USA

• 
  Ulrich Furbach, Natarajan Shankar (Eds.): Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Springer 2006 Lecture Notes in Computer Science 4130 ISBN 3-540-37187-7 [ contents ]

14. TABLEAUX 2005: Koblenz, Germany

• 
  Bernhard Beckert (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005, Proceedings. Springer 2005 Lecture Notes in Computer Science 3702 ISBN 3-540-28931-3 [ contents ]

- TABLEAUX 2005 Home Page

13. TABLEAUX / 2. IJCAR 2004: Cork, County Cork, Ireland

• 
  David A. Basin, Michaël Rusinowitch (Eds.): Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings. Springer 2004 Lecture Notes in Computer Science 3097 ISBN 3-540-22345-2 [ contents ]

- IJCAR 2004 Home Page

12. TABLEAUX 2003: Rome, Italy

• 
  Marta Cialdea Mayer, Fiora Pirri (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003. Proceedings. Springer 2003 Lecture Notes in Computer Science 2796 ISBN 3-540-40787-1 [ contents ]

- TABLEAUX 2003 Home Page

11. TABLEAUX 2002: Copenhagen, Denmark

• 
  Uwe Egly, Christian G. Fermüller (Eds.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2002, Copenhagen, Denmark, July 30 - August 1, 2002, Proceedings. Springer 2002 Lecture Notes in Computer Science 2381 ISBN 3-540-43929-3 [ contents ]

10. TABLEAUX 2001: Siena, Italy

TABLEAUX 2001 is fusioned into IJCAR 2001

• 
  Rajeev Goré, Alexander Leitsch, Tobias Nipkow (Eds.): Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings. Springer 2001 Lecture Notes in Computer Science 2083 ISBN 3-540-42254-4 [ contents ]

9. TABLEAUX 2000: University of St Andrews, Scotland

• 
  Roy Dyckhoff (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX 2000, St Andrews, Scotland, UK, July 3-7, 2000, Proceedings. Springer 2000 Lecture Notes in Computer Science 1847 ISBN 3-540-67697-X [ contents ]

- TABLEAUX 2000 Home Page

8. TABLEAUX 1999: Saratoga Springs, NY, USA

• 
  Neil V. Murray (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '99, Saratoga Springs, NY, USA, June 7-11, 1999, Proceedings. Springer 1999 Lecture Notes in Computer Science 1617 ISBN 3-540-66086-0 [ contents ]

7. TABLEAUX 1998: Oisterwijk, The Netherlands

• 
  Harrie C. M. de Swart (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '98, Oisterwijk, The Netherlands, May 5-8, 1998, Proceedings. Springer 1998 Lecture Notes in Computer Science 1397 ISBN 3-540-64406-7 [ contents ]

6. TABLEAUX 1997: Pont-à-Mousson, France

• 
  Didier Galmiche (Ed.): Automated Reasoning with Analytic Tableaux and Related Methods, International Conference, TABLEAUX '97, Pont-à-Mousson, France, May 13-16, 1997, Proceedings. Springer 1997 Lecture Notes in Computer Science 1227 ISBN 3-540-62920-3 [ contents ]

5. TABLEAUX 1996: Terrasini, Palermo, Italy

• 
  Pierangelo Miglioli, Ugo Moscato, Daniele Mundici, Mario Ornaghi (Eds.): Theorem Proving with Analytic Tableaux and Related Methods, 5th International Workshop, TABLEAUX '96, Terrasini, Palermo, Italy, May 15-17, 1996, Proceedings. Springer 1996 Lecture Notes in Computer Science 1071 ISBN 3-540-61208-4 [ contents ]

4. TABLEAUX 1995: Schloß Rheinfels, St. Goar, Germany

• 
  Peter Baumgartner, Reiner Hähnle, Joachim Posegga (Eds.): Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX '95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings. Springer 1995 Lecture Notes in Computer Science 918 ISBN 3-540-59338-1 [ contents ]

3. TABLEAUX 1994: Abingdon near Oxford, UK

2. TABLEAUX 1993: Marseille, France

1. TABLEAUX 1992: Lautenbach near Karlsruhe, Germany

• 
  Bertram Fronhöfer, Reiner Hähnle, Thomas Käufl (Eds.): 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 ]