GEOTRUST SSL CERTIFICATE
Titre : | JFPLC'97 : actes des 6e journées francophones de programmation logique et programmation par contraintes |
Auteurs : | JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Frédéric Benhamou, Éditeur scientifique |
Type de document : | texte imprimé |
Editeur : | Paris : Hermès science publications, 1997 |
ISBN/ISSN/EAN : | 978-2-86601-614-2 |
Format : | 296 p. / 24 x 16 cm |
Note générale : |
Bibliogr. |
Langues: | Français |
Index. décimale : | 005.5 |
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. |
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |