Ver Publicación - Prisma - Unidad de Bibliometría

VERIFICACIÓN FORMAL EN ACL2 DEL ALGORITMO DE BUCHBERGER

Medina Bulo, Maria Inmaculada

Tipo: Tesis
Próg. doctorado: COMPUTACION, INTELIGENCIA ARTIFICIAL Y TECNOLOGIA DE COMPUTADORES
Lectura: 18/12/2003 en Universidad de Sevilla
Fuente Nº Citas Fecha Actualización
dialnet007-03-2024
No exiten datos para esta publicación

Sobresaliente "Cum Laude"

# Autor Departamento
1Medina Bulo, Maria InmaculadaNo pertenece a la US
# Director de la tesis Departamento
1Alonso Jimenez, Jose AntonioCiencias de la Computación e Inteligencia Artificial
2Ruiz Reina, Jose LuisCiencias de la Computación e Inteligencia Artificial
# Tutor de la tesis Departamento
1Riscos Fernandez, AgustinNo pertenece a la US