TY  - BOOK
AU  - BOLC,Leonard
TI  - Wnioskowanie w logikach nieklasycznych: automatyzacja wnioskowania 
T2  - Problemy Współczesnej Nauki. Teoria i Zastosowania / ed. serii Leonard Bolc. Informatyka
SN  - 8371014031
PY  - 1998///
CY  - Warszawa
PB  - Akademicka Oficyna Wydaw. PLJ
KW  - Logika
KW  - automatyzacja
N1  - Bibliogr. s. 146-159
UR  - http://koha.tu.koszalin.pl/cgi-bin/koha/opac-detail.pl?biblionumber=35940
ER  -