000 00781nam a2200265Ia 4500
003 OSt
005 20220912145041.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a72836
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B):(B2)p1,N84, M4
100 _aFitch John Ed.
111 _aSymposium on EUROSAM 84 (1984 : England)
245 0 _aProceeding on symbolic and algebraic computation
260 _aBerlin
_bSpringer-Verlag
_c1984
300 _axi, 396p.
_ccm.
490 _aLecture notes in computer science; 174
650 _aComputer science
942 _hD65,8(B):(B2)p1,N84, M4
_cTEXL
_2CC
999 _c21875
_d21875