produzido em
- https://brcris.ibict.br/individual/cour_e67f8ea2-10e6-4342-a865-363213a7f5e8
- Electrical Engineering Programa de Pós-Graduação
Verificação Automática da Completude de Lógicas Finitas Multivalentes
Documento
- Visão geral
- Identidade
- Ver todos
Visão geral
tipo
- doctoral thesis
autores
data de publicação
- 2010-01-01
prêmio patrocinado pela
- universidade federal de uberlandia Organização