TY  - BOOK
AU  - Truemper, Klaus
TI  - Design of logic-based intelligent systems
SN  - 981253217-X
CY  - Singapore
KW  - Expert system
KW  - Intelligent systems -- Logic-based
KW  - Logic systems
KW  - SAT and MINSAT -- Intelligent systems
ER  -