|
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.
|
El uso de repositorios y su importancia para la educación en Ingeniería Texier, José - De Giusti, Marisa Raquel - Oviedo, Néstor - Villarreal, Gonzalo Luján - Lira, Ariel Jorge
|
|
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.
|
Contrasting termination criteria for genetic algorithms Bermúdez, Carlos - Alfonso, Hugo - Gallard, Raúl Hector
|
|
7.
|
Sobre la negación y la inferencia no monótona en la programación en lógica Fillottrani, Pablo Rubén
|
|
8.
|
Algunos resultados experimentales de la integración de agrupamiento e inducción como método de descubrimiento de conocimiento Kogan, A. - Rancan, Claudio - Britos, Paola Verónica - Pesado, Patricia - García Martínez, Ramón
|
