1.
|
Formalizing processes in defeasible argumentation using labeled deductive systems Chesñevar, Carlos Iván
|
2.
|
Formalizando algoritmos concorrentes Diverio, Tiarajú A. - Alves, Rodrigo S. - Ferreira, Simone
|
3.
|
Uma ferramenta para a construção de aplicações multilinguagens de programação Freitas, Aparecido Valdemir de - Neto, João José
|
4.
|
La búsqueda de relaciones: una vía para resolver problemas matemáticos en la educación primaria Carmenate Barrios, Osmany - Gamboa Grau, Michel Enrique - Amat Abreu, Mauricio
|
5.
|
Ontología para el aprendizaje y compartición de conocimientos entre sistemas autónomos Ierache, Jorge - Bruno, María M. - García Martínez, Ramón
|
6.
|
Una taxonomía de cambios para el grafo de espacios de nombres contextuales para sistemas multi-agente en contextos múltiples Gomez, Sergio A.
|
7.
|
Didáctica en robótica: un software de simulación para aprendizaje significativo de la localización espacial Odorico, Arnaldo Héctor - Lage, Fernando Javier - Cataldi, Zulma
|
8.
|
Propuesta de un modelo pedagógico en un Sistema Tutorial Inteligente Huapaya, Constanza - Lizarralde, Francisco A. - Arona, Graciela
|
9.
|
Uso de escenarios en la derivación de software Hadad, Graciela Dora Susana
|
10.
|
Interoperabilidad y estandáres de datos para información geográfica Vitturini, Mercedes - Fillottrani, Pablo Rubén
|