01345nam|a2200313 i 4500 20260818153704.0 041018s1992 us r 0100|0 eng d 3540557075 .b10407674 QA75.5 I58 1992 International Symposium on Logical Foundations of Computer Science (2nd : 1992 : Tver, Russia) Logical foundations of computer science - Tver '92 : Second International Symposium, Tver, Russia, July 20-24, 1992 : proceedings / A. Nerode and M. Taitslin (Eds.) Berlin : Springer-Verlag, 1992 514 p. Lecture notes in computer science ; no. 620 Logic, Symbolic and mathematical Congresses Electronic data processing Congresses Computers Congresses Nerode, A., ed. Taitslin, M., ed. International Symposium on Logical Foundations of Computer Science (3rd : 1994 : St. Petersburg, Russia) .b10407674 mngc - 121011 1 951012 m a - 0 mngc 14 Barcode : 30050003166849 CREATED : 1995-10-14 RECORD # : i10509239 LPATRON : 0 LCHKIN : - # RENEWALS : 0 # OVERDUE : 0 IUSE3 : 0 TOT CHKOUT : 0 TOT RENEW : 0 70473 70473 0 0 0 0 MAIN MAIN mngc 2026-08-18 0 QA75.5 I58 1992 30050003166849 2026-08-18 15:37:04 1 2026-08-18 14