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 : jeudi 4 avril 2024-21:06:05
Dates et versions
Identifiants
- HAL Id : hal-01946538 , version 1
Citer
Mnacho Echenim, Nicolas Peltier, Sophie Tourret. Prime Implicate Generation in Equational Logic. Journal of Artificial Intelligence Research, 2017, 60, pp.827-880. ⟨hal-01946538⟩
Collections
19
Consultations
0
Téléchargements