Intelligent computer mathematics MKM, Calculemus, DML, and Systems and Projects 2013, held as part of CICM 2013, Bath, UK, July 8-12, 2013, proceedings /

Corporate Authors: CICM (Conference) Bath, England); SpringerLink (Online service); MKM (Conference) Bath, England); Calculemus (Symposium) Bath, England); DML (Workshop) Bath, England)
Group Author: Carette, Jacques (Computer scientist); Aspinall, David.; Lange, Christoph.; Sojka, Petr.; Windsteiger, Wolfgang.
Published: