Pruebas interesantes para una lógica multi-modal multi-agente : un caso de estudio sobre completitud

Detalles Bibliográficos
Autor Principal:	Carbonari, Francisco Eduardo Daniel
Otros autores o Colaboradores:	Smith, Clara Patricia (Director/a)
Formato:	Tesis
Lengua:	español
Datos de publicación:	2015
Temas:	SISTEMAS MULTIAGENTES MATEMÁTICA DE LA COMPUTACIÓN lógicas modales semánticas tipo kripke semánticas tipo neighbourhood completitud decibilidad combinación de lógicas
Acceso en línea:	http://catalogo.info.unlp.edu.ar/meran/getDocument.pl?id=1193 Consultar en el Cátalogo
Descripción Física:	43 p. + 1 DVD

Ejemplares similares