Christelle Scharff
IdRefMots clés
FR |
EN
Parallélisme (informatique)
Théorie de la démonstration
Déduction (logique)
Équations, Théorie des
Théorèmes -- Démonstration automatique
Contraintes (intelligence artificielle)
Auto-Reconfiguration
Algorithmes distribués
Apprentissage
Robots modulaires
Intelligence artificielle
Robots -- Programmation
Algorithmes parallèles