Carvalho, Roberto Lins de <br/><br/>
Engenharia de conhecimento e sistemas especialistas 

 - 219 páginas 
<br/><br/> 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.-- 
<br/><br/><label>ISBN: </label>950-13-9853-6 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Informatica<br/>Conocimiento<br/>Ingenieria de Sistemas