Suggested Topics within your search.
1
Cover Image
Theorem Proving Modulo Based on Boolean Equational Procedures
By: Rocha, Camilo, Meseguer, José, Rocha, Camilo, Meseguer, José, Informática
Published: 2008
Fuente: Escuela Colombiana de Ingeniería
“... asociatividad y conmutatividad. Luego, presentamos dos extensiones modulares de nuestro procedimiento de...”
Tipo de material: Documento de Conferencia
Save to List
Saved in:
2
Cover Image
Towards a measuring framework for knowledge creation in smart cities
By: Ceballos-Zuluaga, Andrea, Benavides-Navarro, Luis Daniel, Ospina-Becerra, Victoria Eugenia, Ceballos-Zuluaga, Andrea, Benavides-Navarro, Luis Daniel, Ospina-Becerra, Victoria Eugenia, CTG-Informática
Published: 2020
Fuente: Escuela Colombiana de Ingeniería
“... indicadores estáticos y promueven una visión estática de la ciudad. Luego conjeturamos que esto se debe a...”
Tipo de material: Documento de Conferencia
Save to List
Saved in:
Search Tools: Get RSS Feed — Email this Search — Save Search