Navegação Ciências Exatas e da Terra por Autor "Duarte, Glaucius Décio"
Resultados 1-2 de 2
-
Um ambiente interativo para o desenvolvimento de provas da lógica proposicional.
Alves, Gleifer V.; Dimuro, Graçaliz Pereira; Costa, Antônio Carlos da Rocha (1999) [Resumo publicado em evento] -
Desenvolvimento de material didático interativo com o uso do software maple.
Miranda, Raquel M.; Islabão, Márcia H.; Alves, Gleifer V.; Dimuro, Graçaliz Pereira; Costa, Antônio Carlos da Rocha (1999) [Resumo publicado em evento]