000 00533cam a22002057a 4500
001 002303
003 armpuni
005 20160923151123.0
008 160923s1979####xx#a##########000#0#und#d
040 _aarmpuni
_carmpuni
041 _aen
080 _a519.7
100 1 _aKowalski, Roberto
245 1 0 _aLogic for problem solving /
_cRoberto Kowalski
260 _aNew York :
_bNorth-Holland,
_cC1979
300 _a287 p.;, 23,5 cm.
440 0 _aArtificial Intelligence series
942 _cLB
_2cdu
945 _aInfor
_d1987-09-24
999 _c2302
_d3477