Repositorio Dspace

Verificación simbólica de redes genéticas mediante una lógica temporal híbrida

Mostrar el registro sencillo del ítem

dc.contributor.advisor Rosenblueth Laguette, David Arturo
dc.creator Argil Torres, José Julián
dc.date.accessioned 2021-05-16T21:05:20Z
dc.date.accessioned 2025-03-13T19:34:15Z
dc.date.accessioned 2025-06-30T17:39:09Z
dc.date.available 2021-05-16T21:05:20Z
dc.date.available 2025-03-13T19:34:15Z
dc.date.available 2025-06-30T17:39:09Z
dc.date.created 2009-06-22T00:00:00
dc.date.issued 2009
dc.identifier.uri http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000645103
dc.format.extent 1 recurso en línea (153 páginas)
dc.format.medium computadora
dc.format.mimetype application/pdf
dc.language spa
dc.rights.uri http://creativecommons.org/licenses/by-nc-nd/4.0
dc.source.uri https://tesiunam.dgb.unam.mx/F?current_base=TES01&func=direct&doc_number=000645103
dc.subject Redes genéticas
dc.subject Algoritmos genéticos
dc.subject Lógica temporal
dc.subject Computación
dc.subject.classification Ciencias Físico - Matemáticas y de las Ingenierías
dc.title Verificación simbólica de redes genéticas mediante una lógica temporal híbrida
dc.type Tesis de maestría
dcterms.contributor Rosenblueth Laguette, David Arturo::cvu::11043::role::asesorTesis
dcterms.creator Argil Torres, José Julián::si::SinIdentificador
dcterms.subject |a Redes genéticas
dcterms.subject |a Algoritmos genéticos
dcterms.subject |a Lógica temporal
dcterms.subject |a Computación
dcterms.title |a Verificación simbólica de redes genéticas mediante una lógica temporal híbrida |c tesis que para obtener el grado de Maestro en Ciencia e Ingeniería de la Computación, presenta José Julián Argil Torres ; asesor David Arturo Rosenblueth Laguette
dc.identifier.url http://132.248.9.195/ptd2009/junio/0645103/Index.html
dc.rights.accessrights Acceso en línea sin restricciones
dc.publisher.location MX
dc.type.version publishedVersion
dc.degree.grantor Universidad Nacional Autónoma de México
dc.degree.department Instituto de Investigaciones en Matemáticas Aplicadas y en Sistemas
dc.degree.name Maestría en Ciencia e Ingeniería de la Computación
dc.degree.level Maestría
dc.format.support recurso en línea
dc.identifier.classification 001-03063-A8-2009
dc.date.modified 2023-11-25T00:00:00


Ficheros en el ítem

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