Browsing by Referees Veloso, Sheila Regina Murgel
Showing results 1 to 1 of 1
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 |