Page personnelle

Thèmes :

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

PPC – Contraintes et SAT

Mots-clés :

  • logique
  • bases de données
  • logiques de description
  • intégration de données

Modifier vos informations