Barajas Higuera, Daniel
Deducción automática en gráficos existenciales / Daniel Barajas Higuera ; director Pervys Rengifo Rengifo - Bogotá : s.n., 2003 - 76 h. : il. ;
Tesis (Matemático) Fundación Universitaria Konrad Lorenz. Facultad de Matemáticas, 2003
Sin acta de sustentación de trabajo de grado
CALCULO
GRAFICOS
INTELIGENCIA ARTIFICIAL
LOGICA MATEMATICA
RAZONAMIENTO
TEORIA DE LOS GRAFICOS
TEORIA DE LOS GRAFOS
TESIS
511.3 / B171
Deducción automática en gráficos existenciales / Daniel Barajas Higuera ; director Pervys Rengifo Rengifo - Bogotá : s.n., 2003 - 76 h. : il. ;
Tesis (Matemático) Fundación Universitaria Konrad Lorenz. Facultad de Matemáticas, 2003
Sin acta de sustentación de trabajo de grado
CALCULO
GRAFICOS
INTELIGENCIA ARTIFICIAL
LOGICA MATEMATICA
RAZONAMIENTO
TEORIA DE LOS GRAFICOS
TEORIA DE LOS GRAFOS
TESIS
511.3 / B171