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.

11 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. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2009-07-06/10 · Oslo, Norway
    Computer and information sciences
    e1088f8
  3. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2008-08-12/15 · Sydney, Australia
    Computer and information sciences
    e12nzr1
  4. 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
  5. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2006-08-17/20 · Seattle, United States
    Computer and information sciences
    e12nzq3
  6. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2005-09-14/17 · Koblenz, Germany
    Computer and information sciences
    e1088dc
  7. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2004-07-04/08 · Cork, Ireland
    Computer and information sciences
    e12nzp5
  8. International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)
    2003-09-09/12 · Rome, Italy
    Computer and information sciences
    e1088ce
  9. 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
  10. Analytic Tableaux and Related Methods (TABLEAUX) (TABLEAUX)
    2001-01-01 · Siena, Italy
    Computer and information sciences
    e12nzn7
  11. 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

As JSON: https://labs.confref.org/api/search?series=s10anr4&from=2000&to=2009