Goldszein, Mario creator Carnota, Raúl text bl 1986 monographic spa 99 páginas 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.-- Informatica Inteligencia Artificial Logica AR-ReUNN 260701 20260702155810.0 270238 spa