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 |