000 01945cam a2200517 i 4500
005 20171212141713.0
008 061128s1989 pl a f |001 0 pol c
020 _a8320410975
035 _azz2006859162
039 9 _a201707250010
_bAUTHORITY
_c201612091311
_dkopilwa
_c201303010857
_dbuwr
_c201303010114
_dVLOAD
_y200611281249
_zark
040 _aKR 197/JMK
_cKR 197/JMK
_dKR 197/RA
_dKR 197/RRs
_dGL 001/FAN
_dWR U/rk
041 1 _apol
_heng
100 1 _aKowalski, Robert
_d(1941- ).
245 1 0 _aLogika w rozwiązywaniu zadań /
_cRobert Kowalski ; z ang. przeł. Paweł Luboński.
246 1 _iTyt. oryg.:
_aLogic for problem solving
260 _aWarszawa :
_bWydawnictwa Naukowo-Techniczne,
_c1989.
300 _aXV, 288, [2] s. :
_bil. ;
_c24 cm.
490 1 _aBiblioteka Inżynierii Oprogramowania
504 _aBibliogr. s. 273-284. Indeks.
521 8 _aDla programistów, projektantów systemów przetwarzania informacji i systemów doradczych, pracowników nauki zajmujących się informatyką oraz dla studentów kierunków informatycznych i matematycznych.
650 _aLogika informatyczna.
700 1 _aLuboński, Paweł
_d(1958- ).
_eTł.
710 2 _aWydawnictwa Naukowo-Techniczne.
_4pbl
830 0 _aBiblioteka Inżynierii Oprogramowania
920 _a83-204-1097-5
953 _aKR_93
956 _aKR_121
957 _aKR_197
958 _aLUBL_58
959 _aLUBL_64
960 _aGD_U
961 _aWA_310 WA_392
962 _aKR_U
966 _aPOZN_U POZN_31
967 _aLUBL_U
968 _aTOR_U
970 _aWA_U
971 _aL_U
972 _aWR_U
973 _aGL_001 KAT_U
978 _aOLSZT_003
979 _aBSTOK_U
980 _aSZCZ_ZUT
999 _aVIRTUA 0
_c8745
_d8745
999 _aVTLSSORT0010*0080*0200*0350*0400*0410*1000*2450*2460*2600*3000*4900*5040*5210*6500*7000*7100*8300*9200*9530*9550*9560*9570*9580*9590*9600*9620*9660*9670*9680*9700*9710*9730*9780*9790*9800*9992