Le moteur de recherche
des thèses françaises
Blaise Genest
IdRefMots clés
FR |
EN
Automates
Processus de Markov
Théorie des jeux
Concurrence
Systèmes stochastiques
Statistique bayésienne
Apprentissage
Jeux de parité
Jeux de priorité
Réseaux de réactions chimiques
Inférence
Vérification
ABC
HASL
Julia
Réactions chimiques organiques -- Mécanismes
Logique du premier ordre
Logique avec k variables
Logique dynamique propositionnelle
Logiques temporelles