TY  - BOOK
AU  - Truemper,K..
TI  - Design of logic-based intelligent systems
SN  - 0471484032
AV  - QA76.76.E95  .T78 2004
PY  - 2004///
CY  - Hoboken, NJ
PB  - John Wiley
KW  - Expert systems (Computer science)
KW  - Artificial intelligence
ER  -