Page personnelle

Stephane Demri

Directeur de Recherche – LSV

Thèmes :

RCR – Représentation des connaissances et modélisation des raisonnements

Mots-clés :

  • logique

Modifier vos informations