GENESERETH M.R. & NILSSON N.J. LOGICAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE - TOKYO : MORGAN KAUFMANN 1987 - 405 p. ISBN: 0000934613311 Subjects--Topical Terms: ARTIFICIAL INTELLIGENCE Dewey Class. No.: 006.3 / G25