Blaise Genest
IdRefMots clés
FR |
EN
Markov, Processus de
Automates
Systèmes stochastiques
Statistique bayésienne
Apprentissage
Jeux de parité
Jeux de priorité
Théorie des jeux
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
Automates communicants