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 2009/Ed. by Carette J., Dixon L., Coen C. S., Watt S. M..-Berlin.: Springer, 2009.-Vol. 5625.-493 p.-(Lecture Notes in Artificial Intelligence).