1.
|
Formalizando algoritmos concorrentes Diverio, Tiarajú A. - Alves, Rodrigo S. - Ferreira, Simone
|
2.
|
Uma ferramenta para a construção de aplicações multilinguagens de programação Freitas, Aparecido Valdemir de - Neto, João José
|
3.
|
Formalizing processes in defeasible argumentation using labeled deductive systems Chesñevar, Carlos Iván
|
4.
|
Gestión del conocimiento aplicada al peritaje informático Gómez, Leopoldo Sebastián M. - Herrera, Hernán Horacio
|
5.
|
Modelo digital para facilitar el logro de competencias cognitivas de orden superior mediante la creación de zonas de desarrollo próximo Sosa, Mabel - Velázquez, Isabel - Rodríguez, Carlos
|
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.
|