Fichero necesario para la práctica 2:

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: 10 de noviembre de 1999