Periodo de publicación recogido
|
|
|
Reutilización de demostraciones. Aplicación al Algoritmo de Hindley
Laureano Lambán Pardo, Diego Sotés
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
Esta página recoge referencias bibliográficas de materiales disponibles en los fondos de las Bibliotecas que participan en Dialnet. En ningún caso se trata de una página que recoja la producción bibliográfica de un autor de manera exhaustiva. Nos gustaría que los datos aparecieran de la manera más correcta posible, de manera que si detecta algún error en la información que facilitamos, puede hacernos llegar su Sugerencia / Errata.
© 2001-2024 Fundación Dialnet · Todos los derechos reservados