00997nam a2200241 a 4500 AR-ReUNN 20260702155936.0 260701s1987 ag |||||||||||||||||por 950-13-9853-6 por Carvalho, Roberto Lins de 205333 Monteiro, Sonia Limoeiro 205334 Engenharia de conhecimento e sistemas especialistas Buenos Aires Escola Brasileiro-Argentina de Informatica; Kapelusz 1987 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.-- Informatica 274 Conocimiento 5671 Ingenieria de Sistemas 200401 LIB (EXA)19350 271807 0 0 0 1 EXA EXA GEN 2004-10-27 0 681.3 C331 ej.1 10.10-008228 LIB 271807 271807 AR-ReUNN spa AR-ReUNN aacr2 0 0 0 1 EXA EXA GEN 2004-10-27 0 681.3 C331 ej.1 10.10-008228 LIB