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

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

Detalles Bibliográficos
Autor principal: Argil Torres, José Julián
Otras Contribuciones: Rosenblueth Laguette, David Arturo (Asesor)
Formato: Tesis de maestría
Publicado: MX 2009
Materias:
Ciencias Físico - Matemáticas y de las Ingenierías
Redes genéticas
Algoritmos genéticos
Lógica temporal
Computación
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000645103
http://132.248.9.195/ptd2009/junio/0645103/Index.html

Internet

https://hdl.handle.net/20.500.14330/TES01000645103
http://132.248.9.195/ptd2009/junio/0645103/Index.html

Ejemplares similares