Contraste
Aumentar letra
Reducir letra
Centro de relevo
Rocha, Camilo; (2013) Heurísticas de búsqueda de prueba automática en la herramienta de análisis invariante de maude
Rocha, Camilo; Meseguer, José. (2007) Un procedimiento de decisión de reescritura de la lógica silogística de Dijkstra-Scholten con complementos
Reina Quintero, Antonia M.; Torres, Jesús. (2004) Componentes + aspectos: una descripción general
Gómez, Norman; (2011) Visión de los "reescritores" sobre la traducción literaria en Colombia
Leyva, Amado; Carreño, Mónica A. Estrada, Italia Sandoval, Andrés Ezpinoza, Germán. (2016) Desarrollo de una herramienta tipo M- Learning utilizando la metodología Mobile-D, como apoyo en el proceso enseñanza-aprendizaje de la programación lineal
