Ponencias en congresos:
From Logic Programming to Constraint Programming
From Logic Programming to Constraint Programming
Año:2017
Áreas de investigación
-
Ingenierías
Datos
|
Descripción
|
|
|---|---|
| Plenary invited talk at the special session in memory of Alain Colmeraruer in the joint 20th International Conference on Theory and Applications of Satisfiability Testing, 23rd International Conference on Principles and Practice of Constraint Programming, and 33rd International Conference on Logic Programming | |
|
Internacional
|
Si |
|
Nombre congreso
|
20th International Conference on Theory and Applications of Satisfiability Testing, 23rd International Conference on Principles and Practice of Constraint Programming, and 33rd International Conference on Logic Programming |
|
Tipo de participación
|
730 |
|
Lugar del congreso
|
Melbourne |
|
Revisores
|
No |
|
ISBN o ISSN
|
|
|
DOI
|
|
|
Fecha inicio congreso
|
10/05/2017 |
|
Fecha fin congreso
|
17/05/2017 |
|
Desde la página
|
|
|
Hasta la página
|
|
|
Título de las actas
|
|
Participantes
- Autor: Manuel de Hermenegildo Salinas (UPM)
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
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)