"Artificial Intelligence and Symbolic Computation: 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004, Proceedings" - читать интересную книгу автора (Buchberger B., Campbell J. A. (Ed))