Design of logic-based intelligent systems - Truemper, K. 1942- (Hoboken, N.J. Wiley-Interscience, 2004)
Keywords: Expert systems (Computer science).; Artificial intelligence