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

dc.contributorRosenblueth Laguette, David Arturo
dc.creatorArgil Torres, José Julián
dc.date.accessioned2023-06-22T16:06:38Z
dc.date.available2023-06-22T16:06:38Z
dc.date.issued2009
dc.identifierhttps://ru.dgb.unam.mx/handle/DGB_UNAM/TES01000645103
dc.identifierhttps://tesiunam.dgb.unam.mx/F?func=direct&current_base=TES01&doc_number=000645103
dc.identifier001-03063-A8-2009
dc.identifier.urihttps://repositorioslatinoamericanos.uchile.cl/handle/2250/6765925
dc.languagespa
dc.rightshttp://creativecommons.org/licenses/by-nc-nd/4.0
dc.rightsAcceso en línea sin restricciones
dc.subjectRedes genéticas
dc.subjectAlgoritmos genéticos
dc.subjectLógica temporal
dc.subjectComputación
dc.titleVerificación simbólica de redes genéticas mediante una lógica temporal híbrida
dc.typeTesis de maestría
dc.typepublishedVersion


Este ítem pertenece a la siguiente institución