Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
55 results · clear filters Sort: newest oldest name
- 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
- 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
- e12fr6t (CADE 1999)Mathematicse12fr6t
- e12fr7r (CADE 1998)Mathematicse12fr7r
- e12fr5w (CADE 1997)Mathematicse12fr5w
- e12fr4y (CADE 1996)Mathematicse12fr4y
- e12fr30 (CADE 1994)Mathematicse12fr30
- e12fr22 (CADE 1992)Mathematicse12fr22
- e12fr14 (CADE 1990)Mathematicse12fr14
As JSON: https://labs.confref.org/api/search?discipline=Q431667&page=2