Página de Busca
Adicionar filtros:
Utilizar filtros para refinar o resultado de busca.
Resultado 1-1 de 1.
- Anterior
- 1
- Próximo
Conjunto de itens:
| Data do documento | Título | Autor(es) | Tipo |
|---|---|---|---|
| 2014 | Construções algorítmicas e demonstrações axiomáticas | Lima, Luiza Maria Morais; Borges Neto, Hermínio; Pinheiro, Ana Cláudia Mendonça | Artigo de Evento |