Catalog

Record Details

Catalog Search



Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings  Cover Image E-book E-book

Intelligent Computer Mathematics [electronic resource] : MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger.

Carette, Jacques. (editor.). Aspinall, David. (editor.). Lange, Christoph. (editor.). Sojka, Petr. (editor.). Windsteiger, Wolfgang. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources



Additional Resources