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

Argil Torres, José Julián

DSpace Principal
→
Posgrado en Ciencia e Ingeniería de la Computación
→
Tesis de Maestría
→
Ver í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