Detalle de tesis

Print
Repositorio de tesis
  • id
  • date time
  • 18-12-2003
  • Facultad de Matemáticas
  • MEDINA BULO, MARIA INMACULADA
  • VERIFICACIÓN FORMAL EN ACL2 DEL ALGORITMO DE BUCHBERGER
  • Ciencias de la Comput. e Int. Artificial
  • Sobresaliente "Cum Laude" por Unanimidad
  • COMPUTACION, INTELIGENCIA ARTIFICIAL Y TECNOLOGIA DE COMPUTADORES
  • José Antonio Alonso Jiménez
    JOSE LUIS RUIZ REINA

Para volver al listado principal pulse sobre el botón volver