Memorias de investigación
Otras publicaciones:
Energy Consumption Analysis and Verification using CiaoPP
Año:2017
Áreas de investigación
  • Ingenierías
Datos
Descripción
Energy Consumption Analysis and Verification using CiaoPP. The ALP Newsletter, Vol. 30, Num. 3, The Association for Logic Programming, September 2017.
Internacional
Si
Entidad
The Association for Logic Programming
Lugar
Páginas
Referencia/URL
https://www.cs.nmsu.edu/ALP/2017/10/energy-consumption-analysis-and-verification-using-ciaopp/
Tipo de publicación
Newsletter
Esta actividad pertenece a memorias de investigación
Participantes
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial