Fichero necesario para la práctica 1:

Miguel A. Gutiérrez Naranjo
Dpto. de Ciencias de la Computación e Inteligencia Artificial
Universidad de Sevilla
Razonamiento Automático (Curso 99-00)
Última modificación: 7 de octubre de 1999