Mostrando 1 - 4 Resultados de 4 Para Buscar 'Carrillo Barajas, Miguel', tiempo de consulta: 0.02s Limitar resultados
  1. 1
    Logica temporal y computacion
    por Carrillo Barajas, Miguel
    Publicado 1993
    Enlace del recurso
    Enlace del recurso
    Tesis de maestría
  2. 2
    Actualización de modelos para lógica de árboles de cómputo mediante protecciones
    por Carrillo Barajas, Miguel
    Publicado 2014
    Enlace del recurso
    Enlace del recurso
    Tesis de doctorado
  3. 3
    Forcing y teoria de conjuntos
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
  4. 4
    Verificación de modelos para lógica híbrida de tiempo ramificado
    por Vázquez Sandoval, Itzel
    Publicado 2009
    Otras Contribuciones: “…Carrillo Barajas, Miguel…”
    Enlace del recurso
    Enlace del recurso
    Tesis de licenciatura
Herramientas de búsqueda: RSS – Enviar por Correo electrónico esta Búsqueda