Métodos Algebraicos de Razonamiento Automático.

Aquesta tesi apareix a les col·leccions següents