Mostrando 2 resultados de: 2
Filtros aplicados
Subtipo de publicación
Conference Object(2)
Publisher
Communications in Computer and Information Science(1)
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)(1)
Área temáticas
Funcionamiento de bibliotecas y archivos(2)
Ciencias de la computación(1)
Escuelas y sus actividades; educación especial(1)
Métodos informáticos especiales(1)
Programación informática, programas, datos, seguridad(1)
Año de Publicación
2019(2)
$${\textsf {ACUOS}}^\mathbf {2}$$ : A High-Performance System for Modular ACU Generalization with Subtyping and Inheritance
Conference ObjectAbstract: Generalization in order-sorted theories with any combination of associativity (A), commutativity (C)Palabras claves:Autores:Alpuente M., Angel Cuenca-Ortega, Ballis D., Escobar S., Meseguer J.Fuentes:googlescopusEducational software development in ecuadorian universities: A systematic mapping study
Conference ObjectAbstract: Context: Ecuadorian universities to guarantee a quality higher education, contribute to the country’Palabras claves:Educational applications, Educational software, Systematic mapping, Undergraduate thesesAutores:Angel Cuenca-Ortega, Guerra-Gaibor J., Mariela Tapia-LeonFuentes:googlescopus