Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
12 results · clear filters Sort: newest oldest name
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencess10a7nr
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zgm
- 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, 2008Computer and information sciencese11h0t5
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zfq
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zes
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zdv
- Logic for Programming, Artificial Intelligence, and Reasoning, 12th International Conference, LPAR 2005, Montego Bay, Jamaica, December 2-6, 2005, Proceedings (LPAR)Computer and information sciencese11h0s7
- Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings (LPAR)Computer and information sciencese11h0r9
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zcx
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zbz
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105za1
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105z93
As JSON: https://labs.confref.org/api/search?series=s10a7nr&from=2000&to=2009