Principal
Biblioteca
Software
Enlaces
Glosario
Grupos de trabajo
Administradores
Biblioteca
Buscar :
Novedades
Listado total
Por ramas
Avanzada
Login
Login SSL
:: 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
Editorial
Summa Logicae XXI
*Fecha de creación
30-09-2005
Página Web
Código
*Idioma
Español/Spanish
*Formato
.pdf (Adobe)
*Claves
Cálculo de tableux semánticos
Inteligencia Artificial
Lógica abductiva
Resolución
Tipo
Título
Archivo
Opciones
Libro
Tesis de Doctorado
Tesis_FSoler.pdf
<< Atras