Modelo de verificación de bases de conocimiento

• Autores: Julia Isabel Couto Sayalero
• Directores de la Tesis: Luis María Laita de la Rica (dir. tes.)
• Lectura: En la Universidad Politécnica de Madrid ( España ) en 1992
• Idioma: español
• Tribunal Calificador de la Tesis: Enric Trillas (presid.) , Juan Pazos Sierra (secret.) , Agustin Friscos Fernández (voc.) , Alejandro Fernández Margarit (voc.) , José Luis Maté Hernández (voc.)
• Texto completo no disponible (Saber más ...)
• Resumen

  • MODELIZACION DE PROBLEMAS ESTRUCTURALES EN BB,CE QUE USEN LOGICAS DE PRIMER ORDEN.