Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Benoit Da Mota

Mots clés

FR |

EN

Formules booléennes quantifiées

Transformations formelles

Calculs parallèles

Découpage syntaxique

Fonctions booléennes

Algorithmes parallèles

Calcul des propositions

Apprentissage artificiel

Optimisation moléculaire

Optimisation combinatoire

Apprentissage automatique