Ressource pédagogique : Global Constraint Catalog
Mots-clés :
outil, cours / présentation - Date de création : 15-06-2015
Présentation de: Global Constraint Catalog
Informations pratiques sur cette ressource
Langue du document : Français
Type pédagogique : outil, cours / présentation
Niveau : enseignement supérieur
Langue de l'apprenant : Français
Contenu : texte, ensemble de données, logiciel
Public(s) cible(s) : apprenant, enseignant
Document : Document HTML
Droits d'auteur : pas libre de droits, gratuit
Tous droits réservés
Tous droits réservés
Description de la ressource pédagogique
Description (résumé)
Catalogue of global constraints where each constraint is explicitly described in terms of graph properties and/or automata and/or first order logical formulae with arithmetic. When available, it also presents some typical usage as well as some pointers to existing filtering algorithms.
- Granularité : module
- Structure : collection
"Domaine(s)" et indice(s) Dewey
- Génie Logiciel : Langage de programmation en général (005.13)
Thème(s)
Intervenants, édition et diffusion
Éditeur(s)
-
IMT Atlantique
Voir toutes les ressources pédagogiques -
UNIT
Voir toutes les ressources pédagogiques
Diffusion
Document(s) annexe(s) - Global Constraint Catalog
- Cette ressource est associée à
AUTEUR(S)
-
Nicolas Beldiceanu BELDICEANU
IMT Atlantique -
Jean-Xavier RAMPON
IMT Atlantique
ÉDITION
IMT Atlantique
UNIT
EN SAVOIR PLUS
-
Identifiant de la fiche
http://ori.unit-c.fr/uid/unit-ori-wf-1-7091 -
Identifiant
oai:www.unit.eu:unit-ori-wf-1-7091 -
Schéma de la métadonnée
- LOMv1.0
- LOMFRv1.0
- SupLOMFRv1.0
- Voir la fiche XML
-
Entrepôt d'origine
-
Date de publication
15-06-2015