×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Geuvers, Herman (ed.) et al., Intelligent computer mathematics. 10th international conference, CICM 2017, Edinburgh, UK, July 17–21, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-62074-9/pbk; 978-3-319-62075-6/ebook). Lecture Notes in Computer Science 10383. Lecture Notes in Artificial Intelligence, 132-146 (2017).
MSC:  68T30 68T27 68U35
BibTeX Cite
Full Text: DOI
WorldCat.org
Carette, Jacques (ed.) et al., Intelligent computer mathematics. MKM, Calculemus, DML, and systems and projects 2013, held as part of CICM 2013, Bath, UK, July 8–12, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-39319-8/pbk). Lecture Notes in Computer Science 7961. Lecture Notes in Artificial Intelligence, 98-119 (2013).
MSC:  01A80
BibTeX Cite
Full Text: DOI arXiv
WorldCat.org

Filter Results by …

Author
Year of Publication
Classification
Software