Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

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?discipline=Q21198&series=s10anr4