00730cam a2200181 a 450000500170000000800410001702000150005803500150007305000250008811100760011324501400018926000370032930000110036644000490037765000490042665000460047570000270052120260818084623.0090714s1992    gw      r     100|0 engx|  a354055789X  a.b1015991500aQA76.9 M35bW67 19912 aWorkshop on Computer Science Logicn(5th :d1991 :cBerne, Switzerland)10aComputer science logic :b5th Workshop, CSL'91, Berne, Switzerland, October 7-11, 1991 : proceedings /cE. Börger ... [et al.] (eds.)  aBerlin :bSpringer-Verlag,c1992  a428 p. 0aLecture notes in computer science ;vno. 626 0aLogic, Symbolic and mathematicalvCongresses 0aComputer sciencexMathematicsvCongresses1 aBörger, Egon,d1946-