Fundamentación de un sistema para la resolución automática de problemas

Aquesta tesi apareix a les col·leccions següents