| 000 | 00997nam a2200241 a 4500 | ||
|---|---|---|---|
| 003 | AR-ReUNN | ||
| 005 | 20260702155936.0 | ||
| 008 | 260701s1987 ag |||||||||||||||||por | ||
| 020 | _a950-13-9853-6 | ||
| 041 | 0 | _apor | |
| 100 | 1 |
_aCarvalho, Roberto Lins de _9205333 |
|
| 700 | 1 |
_aMonteiro, Sonia Limoeiro _9205334 |
|
| 245 | 1 | 0 | _aEngenharia de conhecimento e sistemas especialistas |
| 264 | 1 |
_aBuenos Aires _bEscola Brasileiro-Argentina de Informatica; Kapelusz _c1987 |
|
| 300 | _a219 páginas | ||
| 520 | _aSistemas 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.-- | ||
| 650 | 4 |
_aInformatica _9274 |
|
| 650 | 4 |
_aConocimiento _95671 |
|
| 650 | 4 |
_aIngenieria de Sistemas _9200401 |
|
| 942 | _cLIB | ||
| 035 | _a(EXA)19350 | ||
| 001 | 271807 | ||
| 999 |
_c271807 _d271807 |
||
| 040 |
_aAR-ReUNN _bspa _cAR-ReUNN _eaacr2 |
||