Article Dans Une Revue
Journal of Artificial Intelligence Research
Année : 2017
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01946538
Soumis le : jeudi 6 décembre 2018-10:39:16
Dernière modification le : vendredi 5 juillet 2024-10:58:56
Citer
Mnacho Echenim, Nicolas Peltier, Sophie Tourret. Prime Implicate Generation in Equational Logic. Journal of Artificial Intelligence Research, 2017, 60, pp.827-880. ⟨10.1613/jair.5481⟩. ⟨hal-01946538⟩
Collections
20
Consultations
0
Téléchargements