Buscar por Autor SILVA, Allison Magno Eugênio da
Mostrando resultados 1 a 1 de 1
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 2-sep-2019 | Implementação de conversão de provas ALC para o cálculo de sequentes | SILVA, Allison Magno Eugênio da |