| 000 | 00601nam a22002177a 4500 | ||
|---|---|---|---|
| 003 | SNU | ||
| 005 | 20141226110509.0 | ||
| 008 | 141226b xxu||||| |||| 00| 0 eng d | ||
| 028 | _a;HCL | ||
| 082 | _a001.64205 IEE | ||
| 100 | _a; IEEE | ||
| 245 |
_aSymposium on Logic In Computer Science. _c/ IEEE |
||
| 260 |
_aNew York _b: The Computer Society _c,1987. |
||
| 300 |
_axi,359p. _c:32cm. |
||
| 655 | _a; Logic in Computer Science | ||
| 655 | _a; Computer Science | ||
| 655 | _a; Mathematical Foundations of Computing | ||
| 655 | _a; IEEE | ||
| 655 | _a; HCL Collection. | ||
| 942 |
_2ddc _cHCL |
||
| 999 |
_c40984 _d40984 |
||