TESIS DOCTORALES - TESEO

  • Título:  A TRANSFORMATIONAL APPROACH TO CONSTRUCTIVE NEGATION IN CONSTRAINT NORMAL LOGIC PROGRAMMING
  • Autor:  ALVEZ GIMENEZ, JAVIER
  • Universidad:  Universidad del País Vasco/Euskal Herriko Unibertsitatea
  • Departamento:  Lenguajes y sistemas informáticos
  • Fecha de Lectura:  04/06/2008
  • Mención Europeo / Mención Internacional: concedido
  • Programa de doctorado:  INGENIERIA INFORMATICA: COMUNICACION, CONTROL E INTELIGENCIA ARTIFICIAL
  • Dirección: 
    • LUCIO CARRASCO, FRANCISCA (DIRECTOR)
  • Tribunal: 
    • OREJAS VALDÉS, FERNANDO (PRESIDENTE)
    • PINO BLANCO, ELVIRA (SECRETARIO)
    • BROGI, ANTONIO (VOCAL)
    • LÓPEZ FRAGUAS, FRANCISCO JAVIER (VOCAL)
    • PIMENTEL SANCHEZ, ERNESTO (VOCAL)
  • Descriptores: 
    • APLICACIONES DE LA LOGICA
    • TECNOLOGIA DE LOS ORDENADORES
    • CIENCIA DE LOS ORDENADORES
  • Resumen: