Page personnelle

–

Thèmes :

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

PPC – Contraintes et SAT

Mots-clés :

• logique modale
• systèmes multi-agents

Modifier vos informations