TY - BOOK AU - Miola Alfonso ED - International Symposium on Design and Implementation of Symbolic Computation Systems( 3rd : 1993 : Austria ) ED - International Symposium on Design and Implementation of Symbolic Computation Systems 3rd TI - Design and implementation of symbolic computation systems : proceedings U1 - 5.131 PY - 1993/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Symbolic computation ER -