"Proceedings ISSAC (Bonn)" - читать интересную книгу автора (International Symposium on Symbolic and Algebraic Computation, Stephen M. Watt,...)