GENESERETH,MICHAEL R, NILSSON,NILS J LOGICAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE - 1 - CALIFORNIA MK 1987 - 405 BR-SC 16 ISBN: KBCS 506.22 Dewey Class. No.: 879