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