TY  - BOOK
AU  - Richards, Dana 
AU  - Hamburger, Henry 
TI  - Logic and Language Models for Computer Science
SN  - 9789813230507
U1  - 006.131 RIC 
PY  - 2017///
CY  - New Delhi
PB  - World Scientific
KW  - Artificial Intelligence
KW  - Description logics
KW  - Formal languages
ER  -