Buscar por Autor Fernandez, Luiz Cláudio Frederico
Mostrando resultados 1 a 1 de 1
Autor(es) | Título | Fecha de publicación | Tipo |
---|---|---|---|
Fernandez, Luiz Cláudio Frederico | A tableaux method for dolev-yao multi-agent epistemic logic | abr-2018 | Dissertação |