GENESERETH,MICHAEL R, NILSSON,NILS J

LOGICAL FOUNDATIONS OF ARTIFICIAL INTELLIGENCE - 1 - CALIFORNIA MK 1987 - 405

BR-SC 16

KBCS 506.22

879