Browsing by author CORDEIRO, Hérikles Vinícyus França
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 28-Jun-2023 | Em direção a um cálculo de sequentes para a lógica de descrição ALCH | CORDEIRO, Hérikles Vinícyus França |