Truemper, Klaus Design of Logic based intelligent systems - New Jersey John Wiley 2006 - ix, 352p. ISBN: 9812-53-217-x Subjects--Index Terms: Design of logic based intelligent systems Dewey Class. No.: 681.322 / TRU