00724cam a2200181 a 450000500170000000800410001702000150005803500150007305000250008811100770011324501330019026000370032330000110036044000490037165000490042065000460046970000270051520260818084623.0090714s1991    gw      r     100|0 engx|  a3540544879  a.b1015990300aQA76.9 M35bW67 19902 aWorkshop on Computer Science Logicn(4th :d1990 :cHeidelberg, Germany)10aComputer science logic :b4th Workshop, CSL'90, Heidelberg, Germany, October 1-5, 1990 : proceedings /cE. Börger ... [et al.]  aBerlin :bSpringer-Verlag,c1991  a399 p. 0aLecture notes in computer science ;vno. 533 0aLogic, Symbolic and mathematicalvCongresses 0aComputer sciencexMathematicsvCongresses1 aBörger, Egon,d1946-