Betaconfref labs: services in development; they can change or be unavailable. The project site is www.confref.org.
confreflabs
Menu

Search Beta

Series and events of the confref identifiers. Look up an identifier (dblp key, Wikidata, GND, DOI of the proceedings) through the API.

4 results · clear filters Sort: newest oldest name

  1. Intelligent Computer Mathematics / Mathematical Knowledge Management (MKM)
    2018-08-13/17 · Hagenberg im Mühlkreis, Austria
    Computer and information sciences
    e12mxp9
  2. Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings
    2018 · Hagenberg im Mühlkreis, Austria
    Computer and information sciences
    e11jdtp
  3. Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018.
    2018 · Hagenberg im Mühlkreis, Austria
    Computer and information sciences
    e11jdvm
  4. Towards Mechanized Mathematical Assistants, 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, Proceedings (MKM)
    2007-06-27/30 · Hagenberg im Mühlkreis, Austria
    Computer and information sciences
    e11je8t

As JSON: https://labs.confref.org/api/search?series=s10a9mr&country=AT