Principal   Biblioteca   Software   Enlaces   Glosario   Grupos de trabajo   Administradores
Contactar

:: Biblioteca :: Buscar

*Categoría   :: Biblioteca :: Sistemas Lógicos :: Lógica abductiva
*Depositado por   , e-mail:
*Depositado el   18-10-2005
*Título   Modelos formales de explicación en Lógica e Inteligencia Artificial
*Autor   Fernando Soler
*Fecha de creación   14-10-2005
Página Web  
*Idioma   Español/Spanish
*Formato   .pdf (Adobe)
Comentario #1
18-10-2005 		 
"La tesis completa está en este enlace http://logicae.usal.es/index.php?option=com_summalogicaexxi&menu_task=Biblioteca&task=no_task&cmd=detallar&param_1=378"
*Claves Lógica abductiva
Resolución
Cálculo de tableux semánticos
Tipo Título Archivo Opciones
Sesion Presentación fsoler.pdf

     << Atras