×

zbMATH — the first resource for mathematics

Found 3 Documents (Results 1–3)

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, 292-294 (2011).
MSC:  68U15 68M11 68T30
BibTeX Cite
Full Text: DOI
Sojka, Petr (ed.), DML 2009. Towards digital mathematics library, Grand Bend, Ontario, Canada, July 8–9th 2009. Proceedings. Brno: Masaryk University (ISBN 978-80-210-4781-5/pbk). 109-120 (2009).
MSC:  68U15 68P99 68W99
BibTeX Cite
Full Text: Link EuDML

Filter Results by …

Document Type
Author
Year of Publication
Classification
Software