Chapitre D'ouvrage
Année : 2014
Nicolas Peltier : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00995596
Soumis le : vendredi 23 mai 2014-13:43:53
Dernière modification le : jeudi 4 avril 2024-21:18:41
Dates et versions
Identifiants
- HAL Id : hal-00995596 , version 1
Citer
Thierry Boy de La Tour, Nicolas Peltier. Analogy in Automated Deduction - A Survey. Prade, Henri and Richard, Gilles. Computational Approaches to Analogical Reasoning --- Current Trends, Springer-Verlag, pp.103, 2014, Studies in Computational Intelligence. ⟨hal-00995596⟩
57
Consultations
0
Téléchargements