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.)
• Materias:
  • Matemáticas
    • Ciencia de los ordenadores
      • Inteligencia artificial
• Texto completo no disponible (Saber más ...)
• Resumen

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