Knowledge base verification using algebraic graph transformations

Tesis doctoral de Gabriel Alejandro Valiente Feruglio

Datos académicos de la tesis doctoral «Knowledge base verification using algebraic graph transformations«

• Título de la tesis:  Knowledge base verification using algebraic graph transformations
• Autor:  Gabriel Alejandro Valiente Feruglio
• Universidad:  Illes balears
• Fecha de lectura de la tesis:  01/01/1995

Dirección y tribunal

• Director de la tesis
• Tribunal
  • Presidente del tribunal: Nadal Batle Nicolau
  • Lopez Ibañez María Beatriz (vocal)
  • Felipe Cucker Farkas (vocal)
  • Jorge Levy Diaz (vocal)