1.
|
Formalizando algoritmos concorrentes Diverio, Tiarajú A. - Alves, Rodrigo S. - Ferreira, Simone
|
2.
|
Formalizing processes in defeasible argumentation using labeled deductive systems Chesñevar, Carlos Iván
|
3.
|
Uma ferramenta para a construção de aplicações multilinguagens de programação Freitas, Aparecido Valdemir de - Neto, João José
|
4.
|
Enfoque de gestión de conocimiento aplicado a un modelo integrado de aplicaciones sociales para el trabajo colaborativo entre pares académicos Lescano, Germán - Pacheco Toledo, Ricardo - Sosa, Mabel
|
5.
|
Una taxonomía de cambios para el grafo de espacios de nombres contextuales para sistemas multi-agente en contextos múltiples Gomez, Sergio A.
|
6.
|
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
|
7.
|
Uso de escenarios en la derivación de software Hadad, Graciela Dora Susana
|
8.
|
La subsumición en la lógica descriptiva ALCN Lizcano, Luis I.
|
9.
|
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
|
10.
|
Propuesta de un modelo pedagógico en un Sistema Tutorial Inteligente Huapaya, Constanza - Lizarralde, Francisco A. - Arona, Graciela
|