TY  - GEN
AU  - Hamburger, Henry,
AU  - Richards, Dana Scott,
TI  - Logic and language models for computer science
SN  - 0130654876
AV  - QA267.3 .H35 2002
PY  - 2002///
CY  - Upper Saddle River, N.J.
PB  - Prentice Hall
KW  - Artificial intelligence
KW  - Description logics
KW  - Formal languages
N1  - Includes bibliographical references (p. 333-335) and index
ER  -