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.

3 results · clear filters Sort: newest oldest name

  1. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    series, 33 events, 1990 to 2024
    Computer and information sciences
    s10a7nr
  2. Proceedings of the LPAR 2008 Workshops, Knowledge Exchange: Automated Provers and Proof Assistants, and the 7th International Workshop on the Implementation of Logics, Doha, Qatar, November 22, 2008
    2008 · Doha, Qatar
    Computer and information sciences
    e11h0t5
  3. International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)
    2005-03-14/18 · Montevideo, Uruguay
    Computer and information sciences
    e105zdv

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