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