×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Blömer, Johannes (ed.) et al., Mathematical aspects of computer and information sciences. 7th international conference, MACIS 2017, Vienna, Austria, November 15–17, 2017. Proceedings. Cham: Springer (ISBN 978-3-319-72452-2/pbk; 978-3-319-72453-9/ebook). Lecture Notes in Computer Science 10693, 195-210 (2017).
MSC:  68
BibTeX Cite
Full Text: DOI
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

Filter Results by …

Reviewing State
Author
Year of Publication
Classification
Software