TY  - BOOK
AU  - Truemper, Klaus
TI  - Design of logic-based intelligent systems
SN  - 9780471484035
U1  - 006.33 
PY  - 2004///
CY  - Hoboken
PB  - John Wiley & Sons
KW  - Expert systems (Computer science)
KW  - Artificial intelligence
ER  -