Listar Computación por autor "Casillas González, Brenda Mariana"
Mostrando ítems 1-1 de 1
-
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)