Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings (Lecture Notes in Computer Science)
Ein Fachbuch, das die neuesten Fortschritte in intelligenten Rechnermathematiksystemen wie MKM, Calculemus und DML analysiert und zugleich Projekte au ...