Fitch John Ed. Proceeding on symbolic and algebraic computation - Berlin Springer-Verlag 1984 - xi, 396p. cm. - Lecture notes in computer science; 174 . Standard No.: 72836 Source: Textual Subjects--Topical Terms: Computer science Dewey Class. No.: D65,8(B):(B2)p1,N84, M4