Navegando por Autor Fernandez, Luiz Cláudio Frederico
Mostrando resultados 1 a 1 de 1
Autor(es) | Título | Data do documento | Tipo |
---|---|---|---|
Fernandez, Luiz Cláudio Frederico | A tableaux method for dolev-yao multi-agent epistemic logic | Abr-2018 | Dissertação |