“...International Symposium on Symbolic and Algebraic Computation Janov, Itálie)...”