01073nam a2200217 a 4500 AR-ReUNN 20260702155810.0 260701s1986 bl |||||||||||||||||spa Goldszein, Mario 203828 Carnota, Raúl 95602 Inteligencia artificial aplicada : lógica y representación del conocimiento Campinas Escola Brasileiro-Argentina de Informatica 1986 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 274 Inteligencia Artificial 6212 Logica 6523 LIB (EXA)17551 270238 0 0 0 1 EXA EXA GEN 2004-10-27 0 681.3 G622 ej.1 10.10-008009 LIB 270238 270238 AR-ReUNN spa AR-ReUNN aacr2 0 0 0 1 EXA EXA GEN 2004-10-27 0 681.3 G622 ej.1 10.10-008009 LIB