TY  - BOOK
AU  - Minker,Jack
ED  - Kluwer Academic Publishers (Dordrecht).
TI  - Logic-based artificial intelligence
T2  - The Kluwer International Series in Engineering and Computer Science
SN  - 0792372247
PY  - 2000///
CY  - Boston
PB  - Kluwer Academic Publishers
KW  - Logika symboliczna i matematyczna
KW  - kaba
KW  - Sztuczna inteligencja
KW  - Logika informatyczna
N1  - Bibliogr. przy ref. Indeks
ER  -