- idUS
- Trabajos Académicos
- Tesis Doctorales
- Ciencias de la Computación e Inteligencia Artificial
- Listar Ciencias de la Computación e Inteligencia Artificial por autor
Listar Ciencias de la Computación e Inteligencia Artificial por autor "Medina Bulo, Inmaculada"
Mostrando ítems 1-1 de 1
-
Tesis Doctoral
Verificación formal en ACL2 del Algoritmo de Buchberger
Medina Bulo, Inmaculada (2003-12-18)En este trabajo se han desarrollado los elementos necesarios para especificar, implementar y verificar la correción del ...