"Artificial Intelligence and Symbolic Mathematical Computation: International Conference, AISMC-3, Steyr, Austria, September, 23 - 25, 1996. Proceedings " - читать интересную книгу автора (Jaques Calmet, John A. Campbell, Jochen Pfalzgraf)