TY - BOOK AU - Fitch John Ed. ED - Symposium on EUROSAM 84 (1984 : England) TI - Proceeding on symbolic and algebraic computation T2 - Lecture notes in computer science; 174 U1 - D65,8(B):(B2)p1,N84, M4 PY - 1984/// CY - Berlin PB - Springer-Verlag KW - Computer science ER -