000 | 00521nam a22001577a 4500 | ||
---|---|---|---|
008 | 230425b |||||||| |||| 00| 0 eng d | ||
040 |
_aNational Science Library _cNational Science Library |
||
080 |
_a519.6(082.2) _bN2 |
||
245 |
_aLogical foundations of computer science- Tver' 92 _bSecond international symposium Tver, Russia, 20-24 July, 1992 |
||
260 |
_aLondon: _bSpringer-Verlag, _c1992 |
||
300 | _axix, 969p. | ||
650 | _aComputer | ||
653 | _aSystem | ||
700 | 1 | 0 | _aNerode, A (Ed.) |
942 |
_2udc _cPR |
||
999 |
_c22927 _d22927 |