TY - BOOK AU - Fitch John ED - International Workshop on Design and Implementation of Symbolic Computation Systems( 1992 : Bath ) ED - International Workshop on Design and Implementation of Symbolic Computation Systems 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 -