01174cam a2200301 a 4500 20260818084624.0 090714s1994 gw r 100|0 engx| 3540582770 .b11458045 QA76.9 M35 W67 1993 Workshop on Computer Science Logic (7th : 1993 : Swansea, UK) Computer science logic : 7th Workshop, CSL '93, Swansea, United Kingdom, September 13-17, 1993 : selected papers / Egon Börger, Yuri Gurevich and Karl Meinke (eds.) Berlin : Springer-Verlag, 1994 336 p. Lecture notes in computer science ; no. 832 Computer science Congresses Logic, Symbolic and mathematical Congresses Börger, Egon, 1946- Gurevich, Yuri Meinke, Karl .b11458045 mngc - 190904 0 960111 m a - 0 mngc 14 Barcode : 30050004328216 CREATED : 1996-11-01 RECORD # : i11708323 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 21211 21211 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA76.9 M35 W67 1993 30050004328216 2026-08-18 08:46:24 1 2026-08-18 14