×

zbMATH — the first resource for mathematics

Found 3 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, 28-43 (2016).
MSC:  68T15 68W30
BibTeX Cite
Full Text: DOI
WorldCat.org
Lecture Notes in Computer Science. 2594. Berlin: Springer. x, 223 p. (2003).
MSC:  00B25 68-06 68T30
BibTeX Cite
Full Text: Link
WorldCat.org

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software