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 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
- International Workshop on First-Order Theorem Proving (FTP) (FTP)Computer and information sciencess10mnrf
- e12frdc (CADE 2009)Mathematicse12frdc
- Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, ProceedingsComputer and information sciencese10tg6d
- e12frce (CADE 2007)Mathematicse12frce
- Proceedings of the CADE-21 Workshop on Empirically Successful Automated Reasoning in Large Theories, Bremen, Germany, 17th July 2007Computer and information sciencese10tg2n
- Proceedings of 4th International Verification Workshop in connection with CADE-21, Bremen, Germany, July 15-16, 2007Computer and information sciencese10tgyw
- Automated Reasoning, Third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006, ProceedingsComputer and information sciencese10tg5f
- e12frbg (CADE 2005)Mathematicse12frbg
- 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
- e12fraj (CADE 2003)Mathematicse12fraj
- e12fr9m (CADE 2002)Mathematicse12fr9m
- Automated Reasoning, First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001, ProceedingsComputer and information sciencese10tg3k
- e12fr8p (CADE 2000)Mathematicse12fr8p
As JSON: https://labs.confref.org/api/search?discipline=Q431667&from=2000&to=2009