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

Search Beta

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

2 results · clear filters Sort: newest oldest name

  1. Proceedings of the Seventh Workshop on Automated Reasoning, Bridging the Gap between Theory and Practice, King's College London, UK, 20-21 July 2000. (ARW)
    2000-07-20/21 · King's College London, United Kingdom
    Computer and information sciences
    e10rcva
  2. Workshop on Automated Reasoning (ARW)
    series, 1 events, 2000 to 2000
    Computer and information sciences
    s121ayk

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