TY - BOOK AU - Truemper, Klaus TI - Design of logic-based intelligent systems SN - 981253217X U1 - 006.33 TRU-K PY - 2004/// CY - India PB - Wiley KW - ᅠ KW - Artificial intelligence.ᅠ KW - Expert systems (Computer science) ᅠ ER -