Page personnelle

Stéphane Demri

Directeur de Recherche – LMF

Page personnelle

Thèmes :

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

Mots-clés :

• logique
• complexité
• calculs
• model-checking

Modifier vos informations