Listar por autor "Costa, Antônio C.R."

Um ambiente para edição de peças para teatro virtual.

Deus, Anibal M.R.; Rodrigues, Maíra R.; Machado, Rodrigo P.; Cardoso, Rafael C.; Elias, Rafael P.; Viegas, Pablo B.; Dimuro, Graçaliz P. (1998) [Resumen publicado en evento]

Cálculo lambda: um formalismo para funções.

Araújo, Éderson M. de; Sellanes, Ruben G.S.; Costa, Antônio C.R. (1998) [Resumen publicado en evento]

Um estudo sobre indução e recursão nos números naturais.

Vizzotto, Juliana K.; Costa, Antônio C.R. (1998) [Resumen publicado en evento]

Explorando características da linguagem haskell.

Du Bois, André R.; Costa, Antônio C.R.; Schneider, Gerardo (1998) [Resumen publicado en evento]

Implementação de construções em espaços coerentes.

Wotter, Renata G.; Islabão, Márcia H.; Dimuro, Graçaliz P. (1998) [Resumen publicado en evento]

Jogos educativos como uma forma de auxiliar na aprendizagem no museu virtual sagres.

Torres Junior, Roberto Dias; Bertoletti, Ana C.; Costa, Antônio C.R. (1999) [Resumen publicado en evento]

Sagres – um museu virtual no web para apoiar a aprendizagem cooperativa

T. Junior, Roberto D.; Stedile, Juliano D.; Baron, Daniela S.; Willmann, Tatiana; Mattone, Fani; Amador, Cláudio; Almeida, Cristina; Bertoletti, Ana C.; Costa, Antônio C.R. (1998) [Resumen publicado en evento]