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
- 4th International Workshop on Strategies in Automated Deduction, STRATEGIES 2001, in connection with IJCAR 2001, Siena, Italy, June 18, 2001, Selected PapersComputer and information sciencese11we0p
As JSON: https://labs.confref.org/api/search?series=s123m02&country=IT