TY  - BOOK
AU  - Goldszein,Mario
AU  - Carnota,Raúl
TI  - Inteligencia artificial aplicada : lógica y representación del conocimiento
PY  - 1986///
CY  - Campinas
PB  - Escola Brasileiro-Argentina de Informatica
KW  - Informatica
KW  - Inteligencia Artificial
KW  - Logica
N2  - Areas 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.--
ER  -