Communication Dans Un Congrès
Année : 2018
équipe CANA du LIS : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02093400
Soumis le : lundi 8 avril 2019-20:48:33
Dernière modification le : vendredi 22 mars 2024-18:24:03
Dates et versions
Identifiants
- HAL Id : hal-02093400 , version 1
Citer
Tarek Khaled, Belaid Benhamou, Pierre Siegel. Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique. Actes des Quatorzièmes Journées Francophones de Programmation par Contraintes (JFPC'2018), 2018, Amiens, France. pp.63-72. ⟨hal-02093400⟩
46
Consultations
0
Téléchargements