00770cam a2200193 a 450000500170000000800410001702000150005803500150007305000250008811100750011324501560018826000370034430000110038144000490039265000460044165000490048770000220053670000180055820260818084624.0090714s1995    gw      r     100|0 eng |  a3540600175  a.b1146970500aQA76.9 M35bW67 19942 aWorkshop on Computer Science Logicn(8th :d1994 :cKazimierz, Poland)10aComputer science logic :b8th workshop, CSL '94, Kazimierz, Poland, September 25-30, 1994 : selected papers /cLeszek Pacholski and Jerzy Tiuryn (eds.)  aBerlin :bSpringer-Verlag,c1995  a541 p. 0aLecture notes in computer science ;vno. 933 0aComputer sciencexMathematicsvCongresses 0aLogic, Symbolic and mathematicalvCongresses1 aPacholski, Leszek1 aTiuryn, Jerzy