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

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...