Sergiu Ivanov
IdRefMots clés
FR |
EN
Modèles de calcul
Langages formels
Universalité
Complétude computationelle
Réseaux (mathématiques)
Complétude, Théorème de
Réseaux booléens contrôlés
Séquence de contrôle
Médecine personnalisée
Méthodes d'inférence
Analyse structurelle
Maladie
Modèles mathématiques
Fonctions booléennes
Systèmes dynamiques discrets
Complexité
Vérification
Systèmes dynamiques
Complexité de calcul (informatique)