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