Buscar por Sustentante Carrillo Barajas, Miguel
Mostrando resultados 1 a 3 de 3
Vista previa | Título | Sustentante | Fecha de publicación |
---|---|---|---|
Actualización de modelos para lógica de árboles de cómputo mediante protecciones | Carrillo Barajas, Miguel | 2014 | |
Forcing y teoria de conjuntos | Carrillo Barajas, Miguel; Oliart Ros, Alberto | 1985 | |
Logica temporal y computacion | Carrillo Barajas, Miguel | 1993 |