Communication Dans Un Congrès
Année : 2017
Tiago DE LIMA : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01577817
Soumis le : lundi 28 août 2017-11:13:20
Dernière modification le : mardi 5 décembre 2023-18:08:07
Dates et versions
Identifiants
- HAL Id : hal-01577817 , version 1
Citer
Khaled Tarek, Belaïd Benhamou, Pierre Siegel. Vers une nouvelle méthode de calcul de modèles stables et extensions en programmation logique
. 11e Journées d'Intelligence Artificielle Fondamentale, Jul 2017, Caen, France. ⟨hal-01577817⟩
119
Consultations
0
Téléchargements