Navegando por Autor Ribeiro, Rodrigo Geraldo
Mostrando resultados 19 a 20 de 20
< Anterior
| Data do documento | Título | Autor(es) |
|---|---|---|
| 2020 | Semântica denotacional para o lambda cálculo computacional em Agda. | Amaro, Maycon José Jorge |
| 2019 | O uso de ferramentas computacionais para o ensino de programação para alunos de engenharia. | Brito, Palloma Stéphanne Silva |