000 | 00413 a2200145 4500 | ||
---|---|---|---|
020 | _a8185198292 | ||
041 | _aeng | ||
082 | _a621.381959 | ||
100 | 1 |
_aNilsson, Nils J. _927970 |
|
245 | 1 | 0 |
_aPrinciples of artificial intelligence _cNils J. Nilsson |
260 |
_aNew Delhi : _bNarosa Publishing House, _c1980. |
||
300 |
_ax, 476p. ; _c21 cm. |
||
653 | _aDecomposable | ||
653 | _aResolution refutation systems | ||
999 |
_c244232 _d244232 |