TY  - BOOK
AU  - Brachman, Ronald J. and Hector .J. Levesque.
TI  - Knowledge Representation and  Reasoning
SN  - 9781558609327
AV  - Q 387  .B73 2004
PY  - 2004///
CY  - Armsterdam.
PB  - Elsevier.
ER  -