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 |