Repositorio Dspace

Pattern models : dynamic epistemic logics for distributed systems

Pattern models : dynamic epistemic logics for distributed systems

Título: Pattern models : dynamic epistemic logics for distributed systems;
|a Pattern models : |b dynamic epistemic logics for distributed systems |c tesis que para optar por el grado de Doctor en Ciencia e Ingeniería de la Computación, presenta Diego Alejandro Velázquez Cervantes ; tutores principales Armando Castañeda Rojano, David Arturo Rosenblueth Laguette ; miembro del comité tutor Hans Pieter Van Ditmarsch
Velázquez Cervantes, Diego Alejandro; Velázquez Cervantes, Diego Alejandro::si::SinIdentificador
URI: http://www.ru.iimas.unam.mx/handle/IIMAS_UNAM/TES01000853590
Fecha: 2024

Mostrar el registro completo del ítem

Ficheros en el ítem

Icon
Nombre: 000853590.mrc
Tamaño: 1.907Kb
Formato: Desconocido
Descripción: Registro bibliográfico ...
Ver/
Thumbnail
Nombre: 0853590.pdf
Tamaño: 1.764Mb
Formato: PDF
Descripción: Texto Completo
Ver/

Este ítem aparece en la(s) siguiente(s) colección(ones)

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