|
Titre :
|
JFPLC'99 : actes des 8es Journées francophones de programmation logique et programmation par contraintes
|
|
Auteurs :
|
MNF JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES, Auteur ;
François Fages, Éditeur scientifique
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Hermès science publications, 1999
|
|
ISBN/ISSN/EAN :
|
978-2-7462-0025-8
|
|
Format :
|
316 p. / 24 x 16 cm
|
|
Langues:
|
Français
|
|
Index. décimale :
|
005.1
|
|
Catégories :
|
Techniques > Informatique
|
|
Mots-clés:
|
programmation logique
;
congrès
;
programmation par contraintes
|
|
Résumé :
|
Ces journées ont pour but de faire le point sur les relations entre les multiples aspects qui composent la programmation logique, la démonstration automatique, la résolution de contraintes et les domaines d'application.
|
