01198cam a2200301 a 4500 20260818084623.0 090714s1993 gw r 100|0 engx| 3540569928 .b10159927 QA76.9 M35 W67 1992 Workshop on Computer Science Logic (6th : 1992 : San Miniato, Italy) Computer science logic : 6th Workshop, CSL '92, San Miniato, Italy, September 28 - October 2, 1992 : selected papers / E. Börger ... [et al.] (Eds.) Berlin : Springer-Verlag, 1993 439 p. Lecture notes in computer science ; no. 702 Logic, Symbolic and mathematical Congresses Electronic data processing Congresses Computers Congresses Computer science Congresses Börger, Egon, 1946- .b10159927 mngc u 190904 1 951012 m a u 0 mngc 14 Barcode : 30050003182424 CREATED : 1995-10-13 RECORD # : i10189397 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 21210 21210 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA76.9 M35 W67 1992 30050003182424 2026-08-18 08:46:23 1 2026-08-18 14