TY  - BOOK
AU  - Kaminski
TI  - Efficient paraconsistent reasoning with rules and ontologies for the semantic web
PY  - 2014///
CY  - Monte de Caparica
PB  - T. K.
KW  - Lógica computacional
KW  - Teses
KW  - QA76.63
UR  - http://run.unl.pt/handle/10362/14331
ER  -