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
|