Titre :
|
JFPLC'2002
|
Auteurs :
|
JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ;
Michel Rueher, Metteur en scène, réalisateur
|
Type de document :
|
texte imprimé
|
Editeur :
|
Paris : Hermès science publications, 2002
|
ISBN/ISSN/EAN :
|
978-2-7462-0477-5
|
Format :
|
320 p. / ill. / 24 x 16 cm
|
Note générale :
|
Textes en français et en anglais
|
Langues:
|
Français
|
Index. décimale :
|
005.1
|
Mots-clés:
|
programmation logique
;
congrès
;
programmation par contraintes
|
Résumé :
|
La programmation logique avec contraintes est le fruit de recherches menées depuis plusieurs décennies dans le domaine de la logique, la démonstration automatique, la recherche opérationnelle et l'intelligence artificielle.
|