Estadísticas del PDF: Teoría computacional (en ACL2) sobre cálculos proposicionales

Universidad de Sevilla

Departamento de Ciencias de la Computación

e Inteligencia Artificial

Teoría computacional (en ACL2)

sobre cálculos proposicionales

Memoria presentada por
Francisco Jesús Martín Mateos
para optar al grado de
Doctor en Matemáticas
por la Universidad de Sevilla

V. B. Director

Francisco Jesús Martín Mateos

D. José Antonio Alonso Jiménez

Sevilla, Junio de 2002

A mis padres ...

... a mis hermanos ...

... y sobre todo, a Inma.

Agradecimientos

El trabajo desarrol...