Estadísticas del PDF: Introducción al razonamiento automático con OTTER

Imágen de pdf Introducción al razonamiento automático con OTTER

Introducción al razonamiento automático con OTTER

Publicado el 19 de Abril del 2017
863 visualizaciones desde el 19 de Abril del 2017
154,6 KB
20 paginas
Creado hace 17a (05/11/2006)
Introducción al razonamiento automático con

OTTER

José A. Alonso Jiménez

Grupo de Lógica Computacional
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Sevilla, 1 de septiembre de 2006 (versión de 5 de noviembre de 2006)

2

José A. Alonso Jiménez

Esta obra está bajo una licencia Reconocimiento–NoComercial–CompartirIgual 2.5 Spain de Crea-
tive Commons.

Se permite:

copiar, distribuir y comunicar públicamente la obra

hacer obras derivadas

Bajo las condi...

39 visualizaciones durante los últimos 90 días


17
0