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
Gérard
Ferrand
IdRef
Mots clés
FR
Programmation logique
Programmation par contraintes
Induction (logique)
Traitement de texte
Algorithmes
Contraintes (intelligence artificielle)
Itération (mathématiques)
Point fixe, Théorème du
Logiciels -- Vérification
Langages de programmation orientés objet
Liste des thèses par rôle
Directeur / Directrice de 8 thèse(s)
Rapporteur / Rapporteuse pour 1 thèse(s)