00827cam a2200205 a 450000500170000000800410001702000150005803500150007305000250008811100760011324501570018926000370034630000110038344000490039465000490044365000430049265000260053565000330056170000270059420260818084623.0090714s1993    gw      r     100|0 engx|  a3540569928  a.b1015992700aQA76.9 M35bW67 19922 aWorkshop on Computer Science Logicn(6th :d1992 :cSan Miniato, Italy)10aComputer science logic :b6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 : selected papers /cE. Börger ... [et al.] (Eds.)  aBerlin :bSpringer-Verlag,c1993  a439 p. 0aLecture notes in computer science ;vno. 702 0aLogic, Symbolic and mathematicalvCongresses 0aElectronic data processingvCongresses 0aComputersvCongresses 0aComputer sciencevCongresses1 aBörger, Egon,d1946-