Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
24 results · clear filters Sort: newest oldest name
- International Conference on Automated Deduction (CADE)MathematicsComputer and information sciencess124vhp
- The 27th International Conference on Automated Deduction (CADE 2019)Mathematicse125jac
- 26th International Conference on Automated Deduction (CADE 2017)Mathematicse12frh3
- e12frg5 (CADE 2015)Mathematicse12frg5
- e12frf8 (CADE 2013)Mathematicse12frf8
- e12frea (CADE 2011)Mathematicse12frea
- e12frdc (CADE 2009)Mathematicse12frdc
- e12frce (CADE 2007)Mathematicse12frce
- e12frbg (CADE 2005)Mathematicse12frbg
- e12fraj (CADE 2003)Mathematicse12fraj
- e12fr9m (CADE 2002)Mathematicse12fr9m
- 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
- e12fr06 (CADE 1988)Mathematicse12fr06
- e12fqz8 (CADE 1986)Mathematicse12fqz8
- e12fqya (CADE 1984)Mathematicse12fqya
- e12fqxc (CADE 1982)Mathematicse12fqxc
- e12fqwe (CADE 1980)Mathematicse12fqwe
As JSON: https://labs.confref.org/api/search?field=1.1&discipline=Q431667