Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
49 results · clear filters Sort: newest oldest name
- Automated Reasoning - 13th International Joint Conference, IJCAR 2026, Lisbon, Portugal, July 26-29, 2026, Proceedings, Part IComputer and information sciencese11c8rc
- International Joint Conference on Automated Reasoning (IJCAR) (IJCAR)Computer and information sciencess10mnd6
- Automated Reasoning with Analytic Tableaux and Related Methods - 34th International Conference, TABLEAUX 2025, Reykjavik, Iceland, September 27-29, 2025, ProceedingsComputer and information sciencese11wr8w
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX)Computer and information sciencess10anr4
- Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part IComputer and information sciencese11c8qe
- LPAR 2024: Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning, Port Louis, Mauritius, May 26-31, 2024Computer and information sciencese11h14h
- LPAR 2024 Complementary Volume, Port Louis, Mauritius, May 26-31, 2024Computer and information sciencese11h15f
- International Conference on Logic for Programming Artificial Intelligence and Reasoning (LPAR)Computer and information sciencess10a7nr
- LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Manizales, Colombia, 4-9th June 2023.Computer and information sciencese11h13k
- Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Prague, Czech Republic, September 18-21, 2023, ProceedingsComputer and information sciencese11wr7y
- Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, ProceedingsComputer and information sciencese10tgdz
- International Conference on Automated Deduction (CADE 2021)Computer and information sciencese12frkz
- Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, ProceedingsComputer and information sciencese11wr60
- International Conference on Automated Deduction (CADE)MathematicsComputer and information sciencess124vhp
- International Joint Conference on Automated Reasoning (IJCAR 2020)Computer and information sciencese1248m3
- Automated Reasoning - 10th International Joint Conference, IJCAR 2020, Paris, France, July 1-4, 2020, Proceedings, Part IComputer and information sciencese10tgc1
- LPAR 2020: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Alicante, Spain, May 22-27, 2020.Computer and information sciencese11h12n
- 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
As JSON: https://labs.confref.org/api/search?discipline=Q2555318