Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
9 results · clear filters Sort: newest oldest name
- Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, ProceedingsComputer and information sciencese11wr60
- 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
- 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
- e1248fe (IJCAR 2010)Computer and information sciencese1248fe
- 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?field=1.2&discipline=Q2555318&country=GB