| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a000381 | ||
| 082 |
_a001.535 _bN794 |
||
| 100 | _aShrobe, Howard E. | ||
| 245 |
_aHypothetical monologue illustrating the knowledge underlying program analysis _b _cby Howard E. Shrobe, Richard C. Waters, G. J. Sussman |
||
| 260 |
_aCambridge, Mass _bAIL _c1979 |
||
| 300 |
_a26p _bincludes bibl. |
||
| 490 | _aArtificial intelligence laboratory | ||
| 690 | _aPrograms (computer science) | ||
| 700 | _aWaters, Richard C. | ||
| 700 | _aSussman, G. J. | ||
| 964 |
_a _b0 _c _d _e _f _gCSA |
||
| 999 |
_c375 _d375 |
||