| 000 | 01073nam a2200217 a 4500 | ||
|---|---|---|---|
| 003 | AR-ReUNN | ||
| 005 | 20260702155810.0 | ||
| 008 | 260701s1986 bl |||||||||||||||||spa | ||
| 100 | 1 |
_aGoldszein, Mario _9203828 |
|
| 700 | 1 |
_aCarnota, Raúl _995602 |
|
| 245 | 1 | 0 | _aInteligencia artificial aplicada : lógica y representación del conocimiento |
| 264 | 1 |
_aCampinas _bEscola Brasileiro-Argentina de Informatica _c1986 |
|
| 300 | _a99 páginas | ||
| 520 | _aAreas de aplicación.-- Sistemas expertos.-- Lenguaje natural.-- Deducción automática de teoremas.-- Formalismo lógico.-- Lenguaje de la lógica.-- Unificación.-- Lógica clausal.-- Procedimientos por refutación.-- Resolución y solución de problemas.-- Formalismos de representación del conocimiento.-- Redes semánticas.-- Reglas de producción.-- Frames.-- Técnicas de búsqueda.-- Herramientas de programación.-- Lógica.-- Prolog.-- | ||
| 650 | 4 |
_aInformatica _9274 |
|
| 650 | 4 |
_aInteligencia Artificial _96212 |
|
| 650 | 4 |
_aLogica _96523 |
|
| 942 | _cLIB | ||
| 035 | _a(EXA)17551 | ||
| 001 | 270238 | ||
| 999 |
_c270238 _d270238 |
||
| 040 |
_aAR-ReUNN _bspa _cAR-ReUNN _eaacr2 |
||