Davis, Randall Knowledge based systems in artificial intelligence. / Davis, Randall, Douglas ,B. Lenat Dewey Class. No.: 006.33 D29K R