Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.: 9150 (Lecture Notes in Computer Science)

by Florian Rabe (Editor), Manfred Kerber (Editor), Cezary Kaliszyk (Editor), Florian Rabe (Editor), Manfred Kerber (Editor), Jacques Carette (Editor), Volker Sorge (Editor)

• New

  Paperback
  2015

  $59.59

  This book constitutes the refereed proceedings of the International Conference on Intelligent Computer Mathematics, CICM 2015, held in Washington, DC, USA, in July 2015. The 16 full papers and 9 short papers presented together with two invited talks plus one abstract were carefully reviewed and selected from a total of 43 submissions.