Engenharia de conhecimento e sistemas especialistas
Carvalho, Roberto Lins de
Engenharia de conhecimento e sistemas especialistas - 219 páginas
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.--
950-13-9853-6
Informatica
Conocimiento
Ingenieria de Sistemas
Engenharia de conhecimento e sistemas especialistas - 219 páginas
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.--
950-13-9853-6
Informatica
Conocimiento
Ingenieria de Sistemas