Communication Dans Un Congrès
Année : 2010
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00940670
Soumis le : dimanche 2 février 2014-13:50:25
Dernière modification le : jeudi 4 avril 2024-20:52:57
Citer
Hicham Bensaid, Ricardo Caferra, Nicolas Peltier. I-Terms in Ordered Resolution and Superposition Calculi: Retrieving Lost Completeness. 10th International Conference on Artificial Intelligence and Symbolic Computation, 2010, Paris, France. pp.19-33, ⟨10.1007/978-3-642-14128-7_4⟩. ⟨hal-00940670⟩
78
Consultations
0
Téléchargements