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 : mercredi 18 décembre 2024-09:37:15
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
31
Consultations
0
Téléchargements