Article Dans Une Revue
Journal of Automated Reasoning
Année : 2016
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01363997
Soumis le : lundi 12 septembre 2016-11:13:14
Dernière modification le : mercredi 18 décembre 2024-10:00:02
Citer
Mnacho Echenim, Nicolas Peltier. A Superposition Calculus for Abductive Reasoning. Journal of Automated Reasoning, 2016, 57 (2), pp.97--134. ⟨10.1007/s10817-015-9344-2⟩. ⟨hal-01363997⟩
Collections
110
Consultations
0
Téléchargements