| 000 | 00604nam a2200193Ia 4500 | ||
|---|---|---|---|
| 919 | _a044294 | ||
| 010 | _a71-164036 | ||
| 020 | _a0852241992 | ||
| 082 |
_a001.535 _bN714 |
||
| 245 |
_aArtificial intelligence and heuristic programming _b _ced. by N. V. Findler and Bernard Meltzer. |
||
| 260 |
_aEdinburg _bUniversity Press _c1971 |
||
| 300 | _a327p. | ||
| 690 | _aTheorem proving; Integreted systems; Natural language and picture processing | ||
| 700 | _aFindler, N. V., ed. | ||
| 700 | _aMeltzer, Bernard., ed. | ||
| 999 |
_c42560 _d42560 |
||