Page personnelle

Nicola Olivetti

Professeur – LIS UMR 7020

Thèmes :

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

Mots-clés :

  • Logique
  • Raisonnement Automatique
  • Méthodes de Preuve

Modifier vos informations