Especificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelos

Especificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelos

Detalles Bibliográficos
Autor principal: Góngora Luna, Pedro Arturo
Otras Contribuciones: Rosenblueth Laguette, David Arturo (Asesor)
Formato: Tesis de doctorado
Lenguaje:Español
Publicado: 2014
Materias:
Ciencias Físico-Matemáticas e Ingenierías
Acceso en línea:https://hdl.handle.net/20.500.14330/TES01000723395
http://132.248.9.195/ptd2014/noviembre/0723395/Index.html

Internet

https://hdl.handle.net/20.500.14330/TES01000723395
http://132.248.9.195/ptd2014/noviembre/0723395/Index.html

Ejemplares similares