000 00796nam a2200229 i 4500
001 bg
245 0 0 _aWnioskowanie w logikach nieklasycznych :
_bautomatyzacja wnioskowania /
_cLeonard Bolc [et al.].
260 _aWarszawa :
_bAkademicka Oficyna Wydaw. PLJ,
_c1998.
300 _a159 s. ;
_c24 cm.
490 1 _aProblemy Współczesnej Nauki. Teoria i Zastosowania / ed. serii Leonard Bolc. Informatyka
504 _aBibliogr. s. 146-159.
650 9 _aLogika
_xautomatyzacja
700 1 _aBOLC, Leonard.
830 0 _aProblemy Współczesnej Nauki. Teoria i Zastosowania (ed. serii Leonard Bolc).
_pInformatyka
020 _a8371014031
040 _cBPK
041 0 _apl
080 _a510.6:004
920 _a83-7101-403-1
942 _cKS
008 s pl f |000 0 pol
999 _c35940
_d35940
856 _uhttp://koha.tu.koszalin.pl/cgi-bin/koha/opac-detail.pl?biblionumber=35940
_yKatalog online BPK