Mathematical Knowledge Management: Revised Selected Papers/4th International Conference, MKM 2005. Bremen, Germany, July 2005

В2.1, Б5.4.

Mathematical Knowledge Management: Revised Selected Papers/4th International Conference, MKM 2005. Bremen, Germany, July 2005Ed. by Kohlhase M..-Berlin, Heidelberg.: Springer, 2006.-Vol. 3863.-405 p.-(Lecture Notes in Artificial Intelligence).