00890cam a2200217 a 450000500170000000800410001703500150005805000250007311100760009824501640017426000370033830000110037544000490038665000490043565000430048465000260052765000340055370000270058770000260061470000320064020260818085550.0090714s1988 gw r 100|0 engx| a.b1017862400aQA76.9 M35bW67 19872 aWorkshop on Computer Science Logicn(1st :d1987 :cKarlsruhe, Germany)10aCSL'87 :b1st Workshop on Computer Science Logic, Karlsruhe, FRG, October 12-16, 1987 : proceedings /cE. Börger, H. Kleine Büning and M. M. Richter (Eds.) aBerlin :bSpringer-Verlag,c1988 a346 p. 0aLecture notes in computer science ;vno. 329 0aLogic, Symbolic and mathematicalvCongresses 0aElectronic data processingvCongresses 0aComputersvCongresses 0aComputer sciencexMathematics1 aBörger, Egon,d1946-1 aBüning, Hans Kleine1 aRichter, Michael M.,d1938-