000 00966nam a2200217 a 4500
003 AR-LpUFIB
005 20250311170148.0
008 230201s1982 gw r 000 0 eng d
020 _a3540113401
024 8 _aDIF-M708
_b713
_zDIF000707
040 _aAR-LpUFIB
_bspa
_cAR-LpUFIB
100 1 _aNilsson, Nils
245 1 0 _aPrinciples of artificial intelligence
260 _aBerlín :
_b[S.n.],
_c1982
300 _axv, 476 p. ;
_c24 cm.
490 0 _aSymbolic computation. Artificial intelligence
500 _aIncluye bibliografía e índice de autores. --
505 0 _a Production systems and AI -- Search strategies for AI production systems -- Search strategies for decomposable production systems -- The predicate calculus in AI -- Resolution refutation systems -- Rule-based deduction systems -- Basic plan-generating systems -- Advanced plan-generating systems -- Structured object representations.
650 4 _aINTELIGENCIA ARTIFICIAL
942 _cBK
999 _c50679
_d50679