TY - BOOK AU - Truemper Klaus TI - Design of logic-based intelligent systems SN - 981253217X (pbk) U1 - D65,8(B):(S:72), P4 TD PY - 2004/// CY - New Jersey PB - John Wiley & Sons, Inc KW - Artificial intelligence KW - Logic systems KW - Computer Science N1 - Bibliographical references 336-338p.; Index 339-341p ER -