29 results · clear filters Sort: newest oldest name

1. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
   series, 32 events, 1992 to 2025
   Computer and information sciences
   s10anr4
2. Automated Reasoning with Analytic Tableaux and Related Methods - 28th International Conference, TABLEAUX 2019, London, UK, September 3-5, 2019, Proceedings (TABLEAUX)
   2019-09-03/05 · London, United Kingdom
   Computer and information sciences
   e11wr52
3. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
   2018-07-14/17 · Oxford, United Kingdom
   Computer and information sciences
   e12nzxq
4. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
   2017-09-25/28 · Brasília, Brazil
   Computer and information sciences
   e1088kz
5. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
   2016-06-27 to 2016-07-02 · Coimbra, Portugal
   Computer and information sciences
   e12nzws
6. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
   2015-09-21/24 · Wrocław, Poland
   Computer and information sciences
   e1088j1
7. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
   2014-07-19/22 · Vienna, Austria
   Computer and information sciences
   e12nzvv
8. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
   2013-09-16/19 · Nancy, France
   Computer and information sciences
   e1088h3
9. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
   2012-06-26/29 · Manchester, United Kingdom
   Computer and information sciences
   e12nztx
10. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2011-07-04/08 · Bern, Switzerland
    Computer and information sciences
    e1088g5
11. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2010-07-16/19 · Edinburgh, United Kingdom
    Computer and information sciences
    e12nzsz
12. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2009-07-06/10 · Oslo, Norway
    Computer and information sciences
    e1088f8
13. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2008-08-12/15 · Sydney, Australia
    Computer and information sciences
    e12nzr1
14. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2007-07-03/06 · Aix-en-Provence, France
    Computer and information sciences
    e1088ea
15. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2006-08-17/20 · Seattle, United States
    Computer and information sciences
    e12nzq3
16. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2005-09-14/17 · Koblenz, Germany
    Computer and information sciences
    e1088dc
17. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2004-07-04/08 · Cork, Ireland
    Computer and information sciences
    e12nzp5
18. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2003-09-09/12 · Rome, Italy
    Computer and information sciences
    e1088ce
19. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2002-07-30 to 2002-08-01 · Copenhagen, Denmark
    Computer and information sciences
    e1088bg
20. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2001-01-01 · Siena, Italy
    Computer and information sciences
    e12nzn7
21. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2000-07-03/07 · St Andrews, United Kingdom
    Computer and information sciences
    e1088aj
22. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    1999-06-07/11 · Saratoga Springs, United States
    Computer and information sciences
    e10889m
23. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    1998-05-05/08 · Kingdom of the Netherlands
    Computer and information sciences
    e10888p
24. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    1997-05-13/16 · Pont-à-Mousson, France
    Computer and information sciences
    e10887r
25. International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (TABLEAUX)
    1996-05-15/17 · Terrasini, Italy
    Computer and information sciences
    e10886t

As JSON: https://labs.confref.org/api/search?field=1&discipline=Q21198&series=s10anr4