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

Departamento: INTELIGENCIA ARTIFICIAL

Acceso electrónico:

Director/a(s):

• Director/a: LAITA DE LA RICA, Luis María

Resumen: Modelización de problemas estructurales en bases de conocimiento que usen lógicas de primer orden