TY  - BOOK
AU  - Silva
TI  - Raciocínio abdutivo para correcção e explicação de erros em Português
PY  - 1994///
CY  - Lisboa
PB  - J. C. B. S.
KW  - Engenharia informática
KW  - Teses
KW  - QA76
ER  -