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.

6 results · clear filters Sort: newest oldest name

  1. International Joint Conference on Automated Reasoning (IJCAR) (IJCAR)
    series, 16 events, 2001 to 2026
    Computer and information sciences
    s10mnd6
  2. Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, Proceedings
    2008 · Sydney, Australia
    Computer and information sciences
    e10tg6d
  3. Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings
    2006 · Seattle, United States
    Computer and information sciences
    e10tg5f
  4. Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings
    2004 · Cork, Ireland
    Computer and information sciences
    e10tg4h
  5. Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004.
    2004 · Cork, Ireland
    Computer and information sciences
    e10tgex
  6. Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, Proceedings
    2001 · Siena, Italy
    Computer and information sciences
    e10tg3k

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