Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría :: Biblioteca :: Aplicaciones :: Inteligencia Artificial
*Depositado por   Maria Manzano, e-mail: mara@usal.es
*Depositado el   28-07-2005
*Título   "Modelización Lógica de procesos de solución de problemas y sus aspectos computacionales"
*Autor   Rodolfo Fernández González
*Fecha de creación   19-04-2005
Página Web  
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
*Claves Modelización Lógica
PROLOG
Resolución
Lógica modal
Lógica temporal
Lógica clausal
Cláusulas de Horn
Lógica no monotónica

Tipo Título Archivo Opciones
Documento "Modelización Lógica de procesos de solución de problemas y sus aspectos computacionales" ModelizacionLogica.pdf
Resumen Resumen: "Modelización Lógica de procesos de solución de problemas y sus aspectos computacionales" remodelo.pdf

     << Atras