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
- International Conference on Intelligent Computer Mathematics (CICM, MKM)Computer and information sciencese106ak1
- Proceedings of the 12th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2005, Newcastle-upon-Tyne, UK, July 18-19, 2005 (Calculemus 2005)Computer and information sciencese10ht4s
As JSON: https://labs.confref.org/api/search?series=s10dcpb&country=GB