"Artificial Intelligence and Symbolic Mathematical Computing: International Conference AISMC-1, Karlsruhe, Germany, August 3-6, 1992. Proceedings " - читать интересную книгу автора (Jacques Calmet, John A. Campbell)