Aller directement à la barre de recherche
Le moteur de recherche
des thèses françaises
Les thèses
Les personnes
liées aux thèses
Rechercher des thèses
Rechercher des thèses
Désactiver l'aide à la saisie
Recherche Avancée
Recherche Avancée
Loïc
Pottier
IdRef
Mots clés
FR
Calcul formel
Grammaires formelles
Décomposition (méthode mathématique)
Tables de décision
Logique algébrique
Systèmes experts (informatique)
Apprentissage automatique
Logique du premier ordre
Calcul des prédicats
Langages de programmation fonctionnelle
Réécriture, Systèmes de (informatique)
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)
Directeur / Directrice de 2 thèse(s)
Examinateur / Examinatrice pour 1 thèse(s)