• español
    • English
  • español 
    • español
    • English
  • Login
    Buscar 
    •   Repositorio CINVESTAV
    • Cinvestav-GUADALAJARA
    • Buscar
    •   Repositorio CINVESTAV
    • Cinvestav-GUADALAJARA
    • Buscar
    JavaScript is disabled for your browser. Some features of this site may not work without it.

    Buscar

    Mostrar filtros avanzadosOcultar filttos avanzados

    Filtros

    Use filtros para refinar sus resultados.

    Mostrando ítems 1-1 de 1

    • Opciones de clasificación:
    • Relevancia
    • Título Asc
    • Título Desc
    • Fecha Asc
    • Fecha Desc
    • Resultados por página:
    • 5
    • 10
    • 20
    • 40
    • 60
    • 80
    • 100
    Thumbnail

    Representación de una fórmula de lógica temporal lineal proposicional como un autómata de Búchi generalizado etiquetado 

    Casillas González, Brenda Mariana (Tesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara., 2005)

    Listar

    Todo RI CINVESTAVComunidades & ColeccionesPor fecha de publicaciónAutoresTítulosMateriasAsesoresDirectoresEsta comunidadPor fecha de publicaciónAutoresTítulosMateriasAsesoresDirectores

    Mi cuenta

    AccederRegistro

    Descubre

    Autor
    Casillas González, Brenda Mariana (1)
    Materia
    INGENIERÍA Y TECNOLOGÍA (1)
    ... másFecha
    2005 (1)
    Has File(s)
    Yes (1)
    Copyright © 2020  CINVESTAV.
    Todos los derechos reservados.
    El Repositorio CINVESTAV esta bajo la plataforma DSpace y está gestionado por el Centro de Investigación y de Estudios Avanzados del IPN
    El contenido de Repositorio CINVESTAV está protegido por una licencia Creative Commons Reconocimiento-NoComercial-SinObra Derivada 4.0 Internacional. CC