×

zbMATH — the first resource for mathematics

Found 2 Documents (Results 1–2)

Watt, Stephen M. (ed.) et al., Intelligent computer mathematics. International conference, CICM 2014, Coimbra, Portugal, July 7–11, 2014. Proceedings. Berlin: Springer (ISBN 978-3-319-08433-6/pbk). Lecture Notes in Computer Science 8543. Lecture Notes in Artificial Intelligence, 444-448 (2014).
MSC:  68U35
BibTeX Cite
Full Text: DOI
Davenport, James H. (ed.) et al., Intelligent computer mathematics. 18th symposium, Calculemus 2011, and 10th international conference, MKM 2011, Bertinoro, Italy, July 18–23, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-22672-4/pbk). Lecture Notes in Computer Science 6824. Lecture Notes in Artificial Intelligence, 228-243 (2011).
MSC:  68U35 68P20 68T30
BibTeX Cite
Full Text: DOI

Filter Results by …

Year of Publication
Classification
Software