"Design and Implementation of Symbolic Computation Systems: International Symposium, DISCO '96, Karlsruhe, Germany, September 18-20, 1996. Proceedings " - читать интересную книгу автора (Jacques Calmet, Carla Limongelli)