TY - BOOK AU - Truemper K TI - Design Of Logic Based Intelligent Systems T2 - 0401 SN - 981253217 PB - Wiley ER -