Le moteur de recherche
des thèses françaises
Frank Valencia
IdRefMots clés
FR |
EN
Calculs de processus
Treillis, Théorie des
Programmation par contraintes
Contraintes
Logique modale
Théorie d'ordre
Logiques épistémiques
Modalité (logique)
Logique mathématique
Algèbre
Protection de la vie privée
Équité
Aprentissage automatique
Données
Apprentissage automatique
Protection de l'information (informatique)
Pi-calcul
Concurrence
Logique temporelle de Pnueli
Langages de programmation -- Sémantique