Bertrand Mnacho Echenim
IdRefMots clés
FR |
EN
Abduction
Abduction (logique)
Logique du premier ordre
Impliqués premiers
Logique informatique
Inférence
Déduction (logique)
Intelligence artificielle
Réseaux de Petri
Théorie de la concurrence
Vérification formelle
Algèbres de processus
Automates finis
Petri, Réseaux de
Causalité quantique
Contextualité quantique
Paradoxe quantique
Causalité (physique)
Raisonnement Modulo Théories
Vérification