This joint volume of proceedings gathers the papers from the workshops, Doctoral Program (DP) and Work in Progress (WiP) section of the 12th Conference on Intelligent Computer Mathematics (CICM), held July 8–12 2019 at CIIRC, Prague, Czech Republic. CICM has been held annually since 2008. Papers from the main tracks at CICM 2019 (Calculemus, Mathematical Knowledge Management, Systems & Projects) have been published in Springer Lecture Notes on Artificial Intelligence (LNAI).
CICM-WS 2019: Workshop Papers at 12th Conference on Intelligent Computer Mathematics CICM 2019. Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019) / Edwin Brady, James Davenport, William M. Farmer, Cezary Kaliszyk, Andrea Kohlhase, Michael Kohlhase, Dennis Müller, Karol Pąk, Claudio Sacerdoti Coen. - ELETTRONICO. - 2634:(2020), pp. 1-91.
CICM-WS 2019: Workshop Papers at 12th Conference on Intelligent Computer Mathematics CICM 2019. Joint Proceedings of the FMM and LML Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2019 co-located with the 12th Conference on Intelligent Computer Mathematics (CICM 2019)
Claudio Sacerdoti Coen
2020
Abstract
This joint volume of proceedings gathers the papers from the workshops, Doctoral Program (DP) and Work in Progress (WiP) section of the 12th Conference on Intelligent Computer Mathematics (CICM), held July 8–12 2019 at CIIRC, Prague, Czech Republic. CICM has been held annually since 2008. Papers from the main tracks at CICM 2019 (Calculemus, Mathematical Knowledge Management, Systems & Projects) have been published in Springer Lecture Notes on Artificial Intelligence (LNAI).| File | Dimensione | Formato | |
|---|---|---|---|
|
preface.pdf
accesso aperto
Tipo:
Versione (PDF) editoriale
Licenza:
Licenza per Accesso Aperto. Creative Commons Attribuzione (CCBY)
Dimensione
183.98 kB
Formato
Adobe PDF
|
183.98 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
