×

zbMATH — the first resource for mathematics

Found 39 Documents (Results 1–3)

Kohlhase, Michael (ed.) et al., Intelligent computer mathematics. 9th international conference, CICM 2016, Bialystok, Poland, July 25–29, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-42546-7/pbk; 978-3-319-42547-4/ebook). Lecture Notes in Computer Science 9791. Lecture Notes in Artificial Intelligence, 117-131 (2016).
MSC:  68U35 68T30
BibTeX Cite
Full Text: DOI
WorldCat.org

Filter Results by …

Document Type
Author
Serial
Year of Publication
Classification
Software