Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Gérard Ferrand

Mots clés

FR

Programmation logique

Programmation par contraintes

Logiciels -- Vérification

Langages de programmation orientés objet

Contraintes (intelligence artificielle)

Itération (mathématiques)

Théorème du point fixe

Traitement de texte

Induction (logique)