TY - BOOK AU - Genesereth,Michael R. TI - Logical foundations of artificial intelligence SN - 0934613311 : AV - Q335 GEN 1987 U1 - 006.3 19 PY - 1987/// CY - Los Altos, Calif. PB - Morgan Kaufmann KW - Artificial intelligence N1 - Includes index; Bibliography: p. 363-400 ER -