TY - BOOK AU - Truemper, Klaus TI - Design of logic based intelligent systems SN - 9812-53-217-X U1 - 006.3 TRU PY - 2004/// CY - John wiely and sons, Inc. PB - New Delhi KW - ARTIFICIAL INTELLIGENCE ER -