| 000 | 00407pam a2200145a 44500 | ||
|---|---|---|---|
| 008 | 160408b1986 xxu||||| |||| 00| 0 eng d | ||
| 082 |
_a001.642 _bM855e |
||
| 100 | _aMoszkowski, B. C. | ||
| 245 | 1 | _aEXECUTING TEMPORAL LOGIC PROGRAMS | |
| 260 |
_aCambridge _bCambridge Univ. Pr. _c1986 |
||
| 300 | _a125 | ||
| 650 | _aElectronic Digital Computers -- Programming | ||
| 964 | _gCIRC | ||
| 997 | _aA95681 W | ||
| 999 |
_c284310 _d284310 |
||