Reutilización de demostraciones. Aplicación al Algoritmo de Hindley
- Laureano Lambán
- Diego Sotés
- Castro Jiménez, Francisco Jesús (coord.)
- Ucha Enríquez, José María (coord.)
Editorial: Universidad de Sevilla
ISBN: 84-611-2311-5
Any de publicació: 2006
Pàgines: 119-122
Congrés: Encuentro de Algebra Computacional y Aplicaciones (10. 2006. Sevilla)
Tipus: Aportació congrés