Le moteur de recherche
des thèses françaises
Patrick Bellot
IdRefMots clés
FR |
EN
Programmation fonctionnelle
Cryptographie
Théorie quantique
Sciences appliquees
Informatique, automatique theorique, systemes
These
Langage programmation
Thesis
Programming language
Langages de programmation logique
Langages de programmation fonctionnelle
Complexité de calcul (informatique)
Protection de l'information (informatique)
Sciences et techniques communes
Mathematiques
Logique combinatoire
Arite variable
Abstraction
Sequence
Completude