Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
16 results · clear filters Sort: newest oldest name
- International Joint Conference on Automated Reasoning (IJCAR) (IJCAR)Computer and information sciencess10mnd6
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)Computer and information sciencess10anr4
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencess10a7nr
- International Conference on Automated Deduction (CADE)MathematicsComputer and information sciencess124vhp
- International Joint Conference on Automated Reasoning (IJCAR)Computer and information sciencess126hz0
- e1248dj (IJCAR 2008)Computer and information sciencese1248dj
- Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, ProceedingsComputer and information sciencese10tg6d
- 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
- e1248cm (IJCAR 2006)Computer and information sciencese1248cm
- Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, ProceedingsComputer and information sciencese10tg5f
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zdv
- e1248bp (IJCAR 2004)Computer and information sciencese1248bp
- Automated Reasoning - Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, ProceedingsComputer and information sciencese10tg4h
- Contributions to the Doctoral Programme of the 2nd International Joint Conference on Automated Reasoning, Cork, Ireland, July 4-8, 2004.Computer and information sciencese10tgex
- e1248ar (IJCAR 2001)Computer and information sciencese1248ar
- Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, ProceedingsComputer and information sciencese10tg3k
As JSON: https://labs.confref.org/api/search?discipline=Q2555318&from=2000&to=2009