TY - BOOK AU - Truemper, Klaus TI - Design of logic-based intelligent systems SN - 0471484032 PY - 2004/// CY - New Jersey PB - John Wiley & Sons KW - Logic based intelligent systems KW - Intelligent systems- Logic based ER -