TY - BOOK AU - Nilsson, Nils, J. TI - Principles of artificial intelligence T2 - Symbolic computation SN - 0387113401 U1 - 006.3 PY - 1982/// CY - New York PB - Springer-Verlag. KW - Aritificial intelligence KW - Computer science N1 - 139 figures ER -