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
Año de publicación: 2006
Páginas: 119-122
Congreso: Encuentro de Algebra Computacional y Aplicaciones (10. 2006. Sevilla)
Tipo: Aportación congreso