Intelligent Computer Mathematics: Proc./MKM, Calculemus, DML, and System and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 2013

Б2.13, Б4.2.

Intelligent Computer Mathematics: Proc./MKM, Calculemus, DML, and System and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 2013Ed. by Carette J., Aspinall D., Lange Ch., Sojka P..-Berlin.: Springer, 2013.-Vol. 7961.-384 p.-(Lecture Notes in Artificial Intelligence).