TY  - BOOK
A2  - Robert Kowalski.
AU  - Kowalski, Robert
KW  - Inteligencja obliczeniowa.
Logika symboliczna i matematyczna.
Rozumowanie.
NV  - XXII, 310 s. :
PY  - 2011
SN  - 9780521194822
SN  - 9780521123365
TI  - Computational logic and human thinking : how to be artificially intelligent /
ER  -