Search Beta
Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.
6 results · clear filters Sort: newest oldest name
- International Conference on Intelligent Computer Mathematics (CICM, MKM)Computer and information sciencese106ak1
- Symposium on the Integration of Symbolic Computation and Mechanized Reasoning (Calculemus) (Calculemus)Computer and information sciencess10dcpb
- International Conference on Intelligent Computer Mathematics (AISC, CICM)Computer and information sciencese106aj3
- International Conference on Intelligent Computer Mathematics (CICM, MKM)Computer and information sciencese106afa
- 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
- Systems for Integrated Computation and Deduction, CALCULEMUS 1999, associated to FLoC '99, the 1999 Federated Logic Conference, Trento, Italy, July 11-12, 1999Computer and information sciencese10tp91