Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
2 results · clear filters Sort: newest oldest name
- Automated Reasoning, 4th International Joint Conference, IJCAR 2008, Sydney, Australia, August 12-15, 2008, ProceedingsComputer and information sciencese10tg6d
- e12fr5w (CADE 1997)Mathematicse12fr5w
As JSON: https://labs.confref.org/api/search?field=1&discipline=Q431667&country=AU