Tesis doctoral de Couto Sayalero Julia Isabel
Modelizacion de problemas estructurales en bb.Ce que usen logicas de primer orden.
Datos académicos de la tesis doctoral «Modelo de verificacion de bases de conocimiento«
- Título de la tesis: Modelo de verificacion de bases de conocimiento
- Autor: Couto Sayalero Julia Isabel
- Universidad: Politécnica de Madrid
- Fecha de lectura de la tesis: 01/01/1992
Dirección y tribunal
- Director de la tesis
- Luis María Laita De La Rica
- Tribunal
- Presidente del tribunal: Enric Trilla Ruiz
- Alejandro Fernandez Margarit (vocal)
- Agustin Friscos Fernandez (vocal)
- José Luis Maté Hernández (vocal)