Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
7 results · clear filters Sort: newest oldest name
- International Conference on Automated Deduction (CADE)MathematicsComputer and information sciencess124vhp
- e12frdc (CADE 2009)Mathematicse12frdc
- e12frce (CADE 2007)Mathematicse12frce
- e12frbg (CADE 2005)Mathematicse12frbg
- e12fraj (CADE 2003)Mathematicse12fraj
- e12fr9m (CADE 2002)Mathematicse12fr9m
- e12fr8p (CADE 2000)Mathematicse12fr8p
As JSON: https://labs.confref.org/api/search?series=s124vhp&from=2000&to=2009