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.

4 results · clear filters Sort: newest oldest name

  1. International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL)
    series, 5 events, 2014 to 2024
    Computer and information sciences
    s121ap3
  2. Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018), Oxford, UK, July 18, 2018.
    2018 · Oxford, United Kingdom
    Computer and information sciences
    e10tft5
  3. Proceedings of the 2nd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016) affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)., Coimbra, Portugal, July 1, 2016.
    2016 · Coimbra, Portugal
    Computer and information sciences
    e10tfs7
  4. Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014
    2014 · Vienna, Austria
    Computer and information sciences
    e10tfr9

As JSON: https://labs.confref.org/api/search?series=s121ap3&from=2010&to=2019