Sistema Eletrônico de Administração de Conferências
Ajuda
Usuário
Login
Senha
Lembrar de mim
Notificações
Visualizar
Assinar
/
Cancelar assinatura de notificações
Conteúdo da Conferência
Pesquisa
Todos
Autor
Título
Resumo
Termos indexados
Texto Completo
Procurar
Por Conferência
Por Autor
Por título
Tamanho da fonte
Informação
Para leitores
Para Autores
Portal de Conferências da UnB
Sobre
Acesso
Cadastro
Pesquisa
Conferências anteriores
Notícias
Página Inicial
Portal de Conferências da UnB
>
Pesquisa
>
Perfil do Autor
Perfil do Autor
Azevedo, Luiza Alencar, Universidade de Brasília, Brasil
17º CONGRESSO DE INICIAÇÃO CIENTÍFICA DA UNB E 8º DO DF
- Submissões gerais
A Correção do Algoritmo AKS em Coq
Resumo
Este trabalho está licenciado sob uma
Licença Creative Commons Attribution 3.0
.
