Page personnelle

José Luis Vilchis Medina

Doctorant – LIF – Marseille

Thèmes :

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

PPC – Contraintes et SAT

Mots-clés :

• Logique non-monotone
• Systémes embarqués
• Décision

Modifier vos informations