Artículos en revistas:
Pre-indexed Terms for Prolog
Pre-indexed Terms for Prolog
Año:2015
Áreas de investigación
Datos
|
Descripción
|
|
|---|---|
| 0 | |
|
Internacional
|
Si |
|
JCR del ISI
|
Si |
|
Título de la revista
|
LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2014) |
|
ISSN
|
0302-9743 |
|
Factor de impacto JCR
|
0 |
|
Información de impacto
|
|
|
Volumen
|
8981 |
|
DOI
|
10.1007/978-3-319-17822-6_18 |
|
Número de revista
|
|
|
Desde la página
|
317 |
|
Hasta la página
|
331 |
|
Mes
|
|
|
Ranking
|
0 |
Participantes
- Autor:
m. hermenegildo (UPM) - Autor: j. f. morales
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
- Creador: No seleccionado
- Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
S2i 2023 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)