Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009

В2.1, Б4.12, Б4.2.

Intelligent Computer Mathematics: Proc./16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 2009Ed. by Carette J., Dixon L., Coen C. S., Watt S. M..-Berlin.: Springer, 2009.-Vol. 5625.-493 p.-(Lecture Notes in Artificial Intelligence).