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
Marcos da Silva Leite, José, UnB
23º Congresso de Iniciação Científica da Unb e 14º do DF
- Exatas
Geração Automática de Modelos em Lógicas Modais: Implementação
Resumo
Este trabalho está licenciado sob uma
Licença Creative Commons Attribution 3.0
.
