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.
|
Una taxonomía de cambios para el grafo de espacios de nombres contextuales para sistemas multi-agente en contextos múltiples Gomez, Sergio A.
|