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