Search
Results 1-2 of 2 (Search time: 0.002 seconds).
- previous
- 1
- next
Item hits:
Author(s) | Title | Issue Date | Type |
---|---|---|---|
Fernandez, Luiz Cláudio Frederico | A tableaux method for dolev-yao multi-agent epistemic logic | Apr-2018 | Dissertação |
Masuda, Yatosi | Criptografia em segurança de arquivos confidenciais | Sep-1973 | Dissertação |
Facet
Subject
Date issued