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
  • Síganos en

Tel: (+57 1) 347 23 11 Carrera 9 Bis No. 62 - 43 Bogotá - Colombia eMail: info@konradlorenz.edu.co Rutas de acceso a la universidad (Google Maps) Carácter académico: Institución Universitaria. Personería Jurídica por Resolución 18537 del 4 de noviembre de 1981 del Ministerio de Educación Nacional. Institución de Educación Superior sujeta a inspección y vigilancia por el Ministerio de Educación Nacional (Art. 2.5.3.2.10.2, Decreto 1075 de 2015).
Vigilada Mineducación