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
Pascal
Drabik
IdRef
Mots clés
FR
Sciences appliquees
Informatique
Automatique theorique
Systemes
Type abstrait
Specification algebrique
Programmation fonctionnelle
Demonstrateur de theoreme
Genericite
Parametrisation
Validation semantique
Theorie structuree
Langages de programmation fonctionnelle
Théorie de la démonstration
Liste des thèses par rôle
Auteur / Autrice de 1 thèse(s)