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