Browsing by Author 18.2.4002
Showing results 1 to 1 of 1
| Issue Date | Title | Author(s) |
|---|---|---|
| 2025 | Lógica dinâmica proposicional com armazenamento, recuperação e composição paralela: uma formalização em assistente de provas. | Sasdelli, Felipe Péret Moraes |