Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
17 results · clear filters Sort: newest oldest name
- International Conference on Interactive Theorem Proving (ITP)Computer and information sciencess10a4j1
- International Joint Conference on Automated Reasoning (IJCAR) (IJCAR)Computer and information sciencess10mnd6
- International Conference on Automated Deduction (CADE)Computer and information sciencess109anq
- International Conference on Automated Deduction (CADE)MathematicsComputer and information sciencess124vhp
- The 27th International Conference on Automated Deduction (CADE 2019)Mathematicse125jac
- 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
- 26th International Conference on Automated Deduction (CADE 2017)Mathematicse12frh3
- Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Coimbra, Portugal, June 27 - July 2, 2016, ProceedingsComputer and information sciencese10tga5
- e12frg5 (CADE 2015)Mathematicse12frg5
- 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
- e12frf8 (CADE 2013)Mathematicse12frf8
- 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
- International Workshop on First-Order Theorem Proving (FTP) (FTP)Computer and information sciencess10mnrf
- e12frea (CADE 2011)Mathematicse12frea
- Automated Reasoning, 5th International Joint Conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010. ProceedingsComputer and information sciencese10tg7b
As JSON: https://labs.confref.org/api/search?discipline=Q431667&from=2010&to=2019