| 000 | 00586nam a22001457a 4500 | ||
|---|---|---|---|
| 008 | 230321b |||||||| |||| 00| 0 eng d | ||
| 040 |
_aNational Science Library _cNational Science Library |
||
| 080 |
_aD 681.3(082.2) _bN0.1 |
||
| 245 |
_aProceedings 31st annual symposium on foundations of computer science 22-24 October, 1990 _c/ IEEE computer society's technical committee on mathematical foundations of computing |
||
| 260 |
_aCalifornia: _bIEEE computer Society Press, _c1990 |
||
| 300 | _axiv, 451p. | ||
| 650 | _aComputer science | ||
| 653 | _aMathematical | ||
| 942 |
_2udc _cPR |
||
| 999 |
_c11746 _d11746 |
||