Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
1 result · clear filters Sort: newest oldest name
- Automated Reasoning in Quantified Non-Classical Logics, ARQNL@IJCAR 2014, Vienna, Austria, July 23, 2014Computer and information sciencese10tfr9
As JSON: https://labs.confref.org/api/search?kind=event&series=s121ap3&country=AT