Mostrar el registro sencillo del ítem

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

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


Ficheros en el ítem

Thumbnail
Nombre:
SSIT000008442.pdf
Tamaño:
65.81Mb
Formato:
PDF
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

Mostrar el registro sencillo del ítem

http://creativecommons.org/licenses/by-nc-nd/4.0
Excepto si se señala otra cosa, la licencia del ítem se describe como http://creativecommons.org/licenses/by-nc-nd/4.0