Le moteur de recherche
des thèses françaises
Valentin Perrelle
IdRefMots clés
FR |
EN
Interprétation abstraite
Tableaux
Structures de données
Synthèse de propriétés
Optimisation mathématique
Programmation quantique
Méthodes formelles
Langage de programmation
Théorie des catégories
Méthodes formelles (informatique)
Langages de programmation
Théorie quantique de la mesure
Informatique et applications
Intelligence Artificielle