ListarTesis (Ciencias de la Computación e Inteligencia Artificial) por materia "Algoritmo de Buchberger"
Mostrando ítems 1-1 de 1
-
Tesis Doctoral
Verificación formal en ACL2 del Algoritmo de Buchberger
(2003-12-18)En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del ...