Christian Retoré
Professeur – LIRMM UMR5506 Montpellier
Thèmes :
RCR – Représentation des connaissances et modélisation des raisonnements
Mots-clés :
- logique
- tal
Professeur – LIRMM UMR5506 Montpellier
RCR – Représentation des connaissances et modélisation des raisonnements