000 00617nam0a22002051004500
001 8192
005 20200804102338.0
010 _a0-444-00365-7
090 _a8192
100 _a19880526d1979 k y0pory5003 ba
101 0 _aeng
102 _aUS
200 1 _aLogic for problem solving
_fRobert Kowalski
210 _aNew York
_cNorth-Holland
_dcop. 1979
215 _a287 p.
_cil.
_d24 cm
225 2 _aArtificial intelligence series
_v7
500 1 0 _aArtificial intelligence series;
_n7
700 1 _aKowalski,
_bRobert
942 _cLIVRO
_n0