000 00859nam a2200289Ia 4500
003 OSt
005 20220912144859.0
006 a|||||r|||| 00| 0
007 ta
008 220909b |||||||| |||| 00| 0 eng d
024 _a67863
037 _cTextual
040 _aCSL
_beng
_cCSL
041 _aeng
082 _aD65,8(B):(R1)p1,N88, M9
100 _aBorger E Ed.
111 _aWorkshop on computer science logic (2 : 1988 : Duisburg)
245 0 _aProceeding on CSL`88
260 _aBerlin
_bSpringer-Verlag
_c1989
300 _a399p.
_ccm.
490 _aLecture notes in computer science; 385
650 _aComputer science
700 _a Buning H K Ed.
700 _a Richter M M Ed.
942 _hD65,8(B):(R1)p1,N88, M9
_cTEXL
_2CC
999 _c18069
_d18069