Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
25 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
- 9th International Joint Conference on Automated Reasoning (IJCAR 2018)Computer and information sciencese1248k5
- Automated Reasoning - 9th International Joint Conference, IJCAR 2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 14-17, 2018, ProceedingsComputer and information sciencese10tgb3
- LPAR-22 Workshop and Short Paper Proceedings, Awassa, Ethiopia, 16-21 November 2018Computer and information sciencese11h11q
- Artificial Intelligence Workshop - Artificial Intelligence Workshop: Methods and applications - At Mexican International Conference on Computer Science (WAIMS 2016)Computer and information sciencesPhilosophy, ethics and religione1274cj
- e1248j7 (IJCAR 2016)Computer and information sciencese1248j7
- Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, ProceedingsComputer and information sciencese10tga5
- 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015.Computer and information sciencese11h0yx
- e1248h9 (IJCAR 2014)Computer and information sciencese1248h9
- Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. ProceedingsComputer and information sciencese10tg97
- LPAR 2013, 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, December 12-17, 2013, Stellenbosch, South Africa, Short papers proceedingsComputer and information sciencese11h0xz
- e1248gb (IJCAR 2012)Computer and information sciencese1248gb
- ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation, Manchester, UK, June 2012Computer and information sciencese10tfw1
- Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, Manchester, United Kingdom, June 30, 2012Computer and information sciencese10tg1q
- Automated Reasoning - 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012. ProceedingsComputer and information sciencese10tg89
- TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011Computer and information sciencese11wr44
- e1248fe (IJCAR 2010)Computer and information sciencese1248fe
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencese105zhj
- Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. ProceedingsComputer and information sciencese10tg7b
- Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. ProceedingsComputer and information sciencese11h0v3
- Short papers for 17th International Conference on Logic for Programming, Artificial intelligence, and Reasoning, LPAR-17-short, Yogyakarta, Indonesia, October 10-15, 2010Computer and information sciencese11h0w1
As JSON: https://labs.confref.org/api/search?discipline=Q2555318&from=2010&to=2019