Equipe / Team : TASC
Participants : N. Beldiceanu
Licence : Texte : Creative Commons Attribution-NonCommercial-ShareAlike 4.0 ; Logiciel : Mozilla
Résumé :
Dictionnaire de contraintes (texte/LaTeX + métadonnées/Prolog).
Dictionnaire de contraintes décrivant les contraintes en termes de méta données. Le volume 2 sur les contraintes sur les séries temporelles a été étendu (bornes, base de données d'invariants paramétrés) à l'occasion des projets Gaspard Monge et du projet Graceful, voir https://arxiv.org/abs/1609.08925 Dictionnaire contraintes (texte/LaTeX + métadonnées/Prolog) lien (vol. 1) : http://soda.swedishict.se/5195/ m.à.j. : https://www.dropbox.com/s/q0eehycmocs353j/catalog_volume_1.pdf lien (vol. 2 ): https://arxiv.org/abs/1609.08925v2
