GEOTRUST SSL CERTIFICATE
Titre : | JFLPC'98 |
Auteurs : | JOURNEES FRANCOPHONES DE PROGRAMMATION LOGIQUE ET PROGRAMMATION PAR CONTRAINTES (2002), Auteur ; Olivier Ridoux, Metteur en scène, réalisateur |
Type de document : | texte imprimé |
Editeur : | Paris : Hermès science publications, 1998 |
ISBN/ISSN/EAN : | 978-2-86601-691-3 |
Format : | 304 p. / 24 x 16 cm |
Langues: | Français |
Index. décimale : | 005.1 |
Mots-clés: | programmation par contraintes ; congrès ; programmation logique |
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 en informatique fondamentale. |
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |