TY  - BOOK
AU  - Carvalho,Roberto Lins de
AU  - Monteiro,Sonia Limoeiro
TI  - Engenharia de conhecimento e sistemas especialistas
SN  - 950-13-9853-6
PY  - 1987///
CY  - Buenos Aires
PB  - Escola Brasileiro-Argentina de Informatica; Kapelusz
KW  - Informatica
KW  - Conocimiento
KW  - Ingenieria de Sistemas
N2  - Sistemas semánticos y formales.-- Conocimiento inmediato e inducido.-- Prueba automática de teoremas.-- Sistemas especializados.-- Aplicaciones de SAFO.-- Proceso del lenguaje natural.-- Construcción de gramáticas para dialectos formalizables.-- Interpretación lógica de dialectos del portugués.--
ER  -