Tesis:
Modelo de verificación de bases de conocimiento
- Autor: COUTO SAYALERO, Julia Isabel
- Título: Modelo de verificación de bases de conocimiento
- Fecha: 1992
- Materia: Sin materia definida
- Escuela: FACULTAD DE INFORMATICA
- Departamentos: INTELIGENCIA ARTIFICIAL
- Acceso electrónico:
- Director/a 1º: LAITA DE LA RICA, Luis María
- Resumen: Modelización de problemas estructurales en bases de conocimiento que usen lógicas de primer orden