Suggested Topics within your search.
Suggested Topics within your search.
1
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
2
Fuente: Escuela Colombiana de Ingeniería
“...,” an impressive array of techniques for elegant proof constructions. In this paper, we formalize intuitionistic...”
Tipo de material: Artículo de revista
3
By:
Álvarez Piñeiro, Claudia Patricia, Álvarez Piñeiro, Claudia Patricia, Informática
Published: 2013
Published: 2013
Fuente: Escuela Colombiana de Ingeniería
“... and the development of the learning experience, the need for tools supporting collaborative construction...”
Tipo de material: Artículo de revista
4
By:
Fougères, Alain-Jérôme, Ospina-Becerra, Victoria Eugenia, Fougères, Alain-Jérôme, Ospina-Becerra, Victoria Eugenia, Informática
Published: 2009
Published: 2009
Fuente: Escuela Colombiana de Ingeniería
Tipo de material: Artículo de revista
5
By:
Benavides Navarro, Luis Daniel, Pimienta, Camilo, Sanabria, Mateo, Díaz, Daniel, Garzón, Wilmer, Mello, Wilson, Arboleda, Hugo, Benavides Navarro, Luis Daniel, Pimienta, Camilo, Sanabria, Mateo, Díaz, Daniel, Garzón, Wilmer, Mello, Wilson, Arboleda, Hugo, Informática
Published in: Communications in Computer and Information Science (2018)
Published in: Communications in Computer and Information Science (2018)
Fuente: Escuela Colombiana de Ingeniería
“... manipulation. The language introduces automata for operational time manipulation, causality constructs...”
Tipo de material: Artículo de revista