TY  - BOOK
AU  - BRACHMAN RONALD J AND LEVESQUE HECTOR J
TI  - KNOWLEDGE REPRESENTATION AND REASONING 
SN  - 9781558609327
U1  - 006.32 BRA-K 
PY  - 2023///
CY  - AMSTERDAM
PB  - ELSEVIER
KW  - CSIT
ER  -