[Sello]

Dpto. de Ciencias de la Computación e Inteligencia Artificial

Universidad de Sevilla


-----------------------------------------------------------------
Demostración automática de teoremas (2003-04)
-----------------------------------------------------------------

Demostración automática de teoremas