Design of logic-based intelligent systems - Truemper, K., 1942- (Hoboken, NJ : John Wiley, 2004)
'A Wiley-Interscience publication.'
Includes bibliographical references and indexes
Keywords: Expert systems (Computer science); Artificial intelligence