000 00491nam a2200181 4500
008 160616s1984 000 0
245 _aEUROSAM 84
_bInt. Symp. Symbolic & Algebraic Computation, Cambridge, 1984
100 _aFitch, John. Ed.
260 _aBerlin
260 _bSpringer Verlag
260 _c1984
300 _a396
440 _aLecture notes in computer science ; 00174
020 _a354013350X
650 _aEUROSAM 84
942 _cBK
_2BK13651
080 _a681 LNCS
999 _c13651
_d13651