Détail de l'auteur
Auteur TOURAIVANE |
Documents disponibles écrits par cet auteur (1)
Affiner la recherche
Programmation en logique avec contraintes / TOURAIVANE
Titre : Programmation en logique avec contraintes : actes des JFPLC'00 Type de document : texte imprimé Auteurs : TOURAIVANE, Auteur Editeur : Paris : Hermès Année de publication : 2000 Importance : 280 p. Format : 24 x 16 cm ISBN/ISSN/EAN : 978-2-7462-0147-7 Note générale : table des matières. Langues : Français (fre) Mots-clés : programmation par contraintes congrès programmation logique Index. décimale : 536530 Résumé : Recueil des dix-huit exposés présentes lors de la conférence, répartis en sept sessions ayant pour titres : bio-informatique, sémantique, contraintes, applications (contrôle du trafic aérien, biologie), solveurs de contraintes, langages et extensions, et bases de données déductives. Programmation en logique avec contraintes : actes des JFPLC'00 [texte imprimé] / TOURAIVANE, Auteur . - Paris : Hermès, 2000 . - 280 p. ; 24 x 16 cm.
ISBN : 978-2-7462-0147-7
table des matières.
Langues : Français (fre)
Mots-clés : programmation par contraintes congrès programmation logique Index. décimale : 536530 Résumé : Recueil des dix-huit exposés présentes lors de la conférence, répartis en sept sessions ayant pour titres : bio-informatique, 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 (1)
Code-barres Cote Support Localisation Section Disponibilité FTM27605 004.005.1.16/01 Livre magasin d'ouvrages 004.005.1. Exclu du prêt