Portal do Governo Brasileiro
s
Pular para o conteúdo
Institucional
Sobre
Como participar
Diretrizes
Indicadores
Rede
Instituições participantes
Tecnologia
Faq
Contato
A sua conta
Sair
Entrar
Todos os campos
Título
Ano da publicação
Autor
Assunto
Resumo
Buscar
Busca avançada
Assunto em inglês
Ordenar
Contagem de resultados
Ordem alfabética
Decision procedure
1
Difference logic
1
Formal methods
1
Future internet. Clean-Slate. QoS/QoE
1
Fuzzy logics
1
Interval mathematics
1
ML-algebras
1
Monoidal logic
1
Nelson oppen
1
Residuated lattices
1
SMT - Solvers
1
T-norm
1
fechar
Carregando...