Reutilización de demostraciones. Aplicación al Algoritmo de Hindley

Autores: Laureano Lambán Pardo , Diego Sotés
Localización: Actas del Décimo Encuentro de Álgebra Computacional y Aplicaciones: Book of abstracts Tenth Meeting on Computer Algebra and Applications : Sevilla, 7-9 de septiembre de 2006 / coord. por Francisco Jesús Castro Jiménez , José María Ucha Enríquez , 2006, ISBN 84-611-2311-5, págs. 119-122
Idioma: español
Texto completo no disponible (Saber más ...)