Browsing Exact and Earth Sciences by Author "Duarte, Glaucius D."
Now showing items 1-3 of 3
-
Desenvolvimento de livro interativo e editor de provas para o ensino de lógica.
Alves, Gleifer Vaz; Dimuro, Graçaliz P.; Costa, Antonio C. da R. (2000) [Abstract published in event] -
Modelagem e especificação formal para o ambiente do projeto arca.
Franco, Theo Ferreira; Farias, Gilnei B.; Lopes, Marta de O.; Costa, Antônio Carlos da R.; Duarte, Cláudia A.; Duarte, Glaucius D. (2000) [Abstract published in event] -
A programação de bots na elaboração de mundos virtuais para aprendizagem cooperativa em rede
Rodrigues, Rafael de Figueiredo; Costa Fº, Roberto I. T. da; Meirelles, Luiz Fernando Tavares (2000) [Abstract published in event]