Texto completo
Vista Previa |
PDF (Portable Document Format)
- Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (1MB) | Vista Previa |
On the role of semantic approximations in validation and diagnosis of constraint logic programs
Cita
Bueno Carrillo, Francisco 
ORCID: https://orcid.org/0000-0002-5460-5537, Deransart, Pierre, Drabent, Wlodek, Ferrand, Gerard, Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X, Maluszynski, Jan and Puebla Sánchez, Alvaro Germán
(1997).
On the role of semantic approximations in validation and diagnosis of constraint logic programs.
En: "Third International Workshop on Automatic Debugging", May 26-27, 1997, Linköping, Sweden.
ORCID: https://orcid.org/0000-0002-5460-5537, Deransart, Pierre, Drabent, Wlodek, Ferrand, Gerard, Hermenegildo, Manuel V. ORCID: https://orcid.org/0000-0002-7583-323X, Maluszynski, Jan and Puebla Sánchez, Alvaro Germán
(1997).
On the role of semantic approximations in validation and diagnosis of constraint logic programs.
En: "Third International Workshop on Automatic Debugging", May 26-27, 1997, Linköping, Sweden.
Descripción
| Título: | On the role of semantic approximations in validation and diagnosis of constraint logic programs |
|---|---|
| Autor/es: |
|
| Tipo de Documento: | Ponencia en Congreso o Jornada (Artículo) |
| Título del Evento: | Third International Workshop on Automatic Debugging |
| Fechas del Evento: | May 26-27, 1997 |
| Lugar del Evento: | Linköping, Sweden |
| Título del Libro: | ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming |
| Fecha: | Mayo 1997 |
| Volumen: | 2 |
| Materias: | |
| ODS: | |
| Escuela: | Facultad de Informática (UPM) [antigua denominación] |
| Departamento: | Inteligencia Artificial |
| Licencias Creative Commons: | Reconocimiento - Sin obra derivada - No comercial |
Resumen
Abstract is not available.
Más información
| ID de Registro: | 14557 |
|---|---|
| Identificador DC: | https://oa.upm.es/14557/ |
| Identificador OAI: | oai:oa.upm.es:14557 |
| URL Oficial: | http://www.ep.liu.se/ea/cis/1997/009/13/index.html |
| Depositado por: | Biblioteca Facultad de Informatica |
| Depositado el: | 27 Feb 2013 07:47 |
| Ultima Modificación: | 21 Abr 2016 14:17 |
Acciones
- Estadísticas
- Exportar cita
- Editar (sólo personal del Archivo)
