Browsing by Subject Lógica deôntica
Showing results 1 to 1 of 1
| Issue Date | Preview | Title | Author(s) | Advisor | Program | Document Type |
|---|---|---|---|---|---|---|
| 19-Aug-2019 |  | Automatic reasoning over contract clauses | Aires, João Paulo de Souza | Meneguzzi, Felipe Rech | Programa de Pós-Graduação em Ciência da Computação | Tese |