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.)
Éditorial: Universidad de Sevilla
ISBN: 84-611-2311-5
Année de publication: 2006
Pages: 119-122
Congreso: Encuentro de Algebra Computacional y Aplicaciones (10. 2006. Sevilla)
Type: Communication dans un congrès