TESIS DOCTORALES - TESEO

  • Título:  VERIFICACIÓN FORMAL EN ACL2 DEL ALGORITMO DE BUCHBERGER
  • Autor:  MEDINA BULO, MARÍA INMACULADA
  • Universidad:  Universidad de Sevilla
  • Departamento:  Ciencias de la computación e inteligencia artificial
  • Fecha de Lectura:  18/11/2003
  • Programa de doctorado:  Computación, Inteligencia Artificial y Tecnología de Computadores
  • Dirección: 
    • ALONSO JIMENEZ, JOSÉ ANTONIO (DIRECTOR)
    • RUIZ REINA JOSÉ LUIS (CODIRECTOR)
  • Tribunal: 
    • LAITA DE LA RICA, LUIS MARÍA (PRESIDENTE)
    • BORREGO RÍAZ, JOAQUÍN (SECRETARIO)
    • Roanes Lozano, Eugenio (VOCAL)
    • RUBIO GARCÍA, JULIO JESÚS (VOCAL)
    • RISCOS FERNÁNDEZ, AGUSTÍN (VOCAL)
  • Resumen: