TY - BOOK AU - Truemper K TI - Design Of Logic Based Intelligent Systems T2 - 1523 ER -