Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings By Assia Mahboubi (auth.), Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger (eds.)
2013 | 384 Pages | ISBN: 3642393195 | PDF | 9 MB