681.3 G622 ej.1

Goldszein, Mario
  Inteligencia artificial aplicada : lógica y representación del conocimiento [LIB]. -- Campinas : Escola Brasileiro-Argentina de Informatica, 1986. -- (EBAI)

  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.--

  1. INFORMATICA; 2. INTELIGENCIA ARTIFICIAL; 3. LOGICA I. Carnota, Raúl

  (10) Inv.: 10-008009 S.T.: 681.3 G622 ej.1

1 Ejemplar

U. Info.	Inventario	S.T. / Ubicación
EXACTAS	10-008009	681.3 G622 ej.1