TY - BOOK AU - Truemper,K. TI - Design of logic-based intelligent systems SN - 9787534818103 AV - CHI001466 PY - 2004/// CY - Hoboken, NJ PB - John Wiley KW - Expert systems (Computer science) KW - Artificial intelligence N1 - "A Wiley-Interscience publication."; Includes bibliographical references and indexes ER -