Show simple item record

dc.contributor.authorCasillas González, Brenda Mariana
dc.date.accessioned2020-08-07T16:32:37Z
dc.date.available2020-08-07T16:32:37Z
dc.date.issued2005
dc.identifier.urihttps://repositorio.cinvestav.mx/handle/cinvestav/293
dc.formatpdf
dc.format.extentx, 112 h. 28 cm.
dc.language.isospa
dc.publisherTesis (M.C.)--Centro de Investigación y de Estudios Avanzados del I.P.N. Unidad Guadalajara.
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.subject.classificationINGENIERÍA Y TECNOLOGÍA
dc.titleRepresentación de una fórmula de lógica temporal lineal proposicional como un autómata de Búchi generalizado etiquetado
dc.typemasterThesis
dc.contributor.directorGonzález Torres, Raúl Ernesto
dc.contributor.directorSánchez Carmona, Arturo del Sagrado Corazón
dc.identificator7
dc.identifier.marc01348cam a2200241 a 4500
dc.coverage.placeofpublicationGuadalajara, Jalisco, México
dc.description.institutionCINVESTAV
dc.description.unidadUnidad Guadalajara
dc.thesis.areaTecnología y Ciencias de la Ingeniería
dc.thesis.degreedisciplineComputación.
dc.rights.accessopenAccess


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record

http://creativecommons.org/licenses/by-nc-nd/4.0
Except where otherwise noted, this item's license is described as http://creativecommons.org/licenses/by-nc-nd/4.0