TESIS DOCTORALES - TESEO

  • Título:  BASES DE GÖBNER: DESARROLLO FORMAL EN COQ
  • Autor:  Pérez Vega, Gilberto
  • Universidad:  Universidad de A Coruña
  • Departamento:  INTELIGENCIA ARTIFICIAL Y COMPUTACION
  • Fecha de Lectura:  21/01/2005
  • Programa de doctorado:  COMPUTACIÓN
  • Dirección: 
    • Barja Pérez José Mª (DIRECTOR)
  • Tribunal: 
    • FREIRE NISTAL JOSE LUIS (PRESIDENTE)
    • LADRA GONZÁLEZ, MANUEL (SECRETARIO)
    • PEREZ DE GUZMAN MOLINA, INMACULADA (VOCAL)
    • GAGO COUSO, FELIPE (VOCAL)
    • OJEDA ACIEGO, MANUEL (VOCAL)
  • Descriptores: 
    • LOGICA
    • LOGICA DEDUCTIVA
    • TEORIA DE LA DEMOSTRACION
    • TEORIA DE LENGUAJES FORMALES
    • POLINOMIOS
    • INTUICION
    • MATEMATICAS
    • ALGEBRA
    • LOGICA INDUCTIVA
  • Localización:  Biblioteca Xeral - Rectorado - A Maestranza
  • Resumen: