Resumen de Modelo de verificación de bases de conocimiento

Julia Isabel Couto Sayalero

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