GEOTRUST SSL CERTIFICATE
Titre : | Programmation en logique avec contraintes : actes des JFPLC'00 |
Auteurs : | Touraïvane, Auteur |
Type de document : | texte imprimé |
Editeur : | Paris : Hermès science publications, 2000 |
ISBN/ISSN/EAN : | 978-2-7462-0147-7 |
Format : | 280 p. / 24 x 16 cm |
Note générale : |
Bibliogr. |
Langues: | Français |
Index. décimale : | 006.1 |
Mots-clés: | programmation par contraintes ; congrès ; programmation logique |
Résumé : |
Recueil des dix-huit exposés présentés lors de la conférence, répartis en sept sessions ayant pour titres : bioinformatique, sémantique, contraintes, applications (contrôle du trafic aérien, biologie), solveurs de contraintes, langages et extensions, et bases de données déductives. |
Exemplaires
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
aucun exemplaire |