Luisa Iturrioz
IdRefMots clés
FR
Treillis, Théorie des
Questionnaires, Théorie des
Règles de production
Vérification automatique
Méthodes logiques
Métaconnaissances
Informatique
Intelligence artificielle
Systèmes experts (informatique)
Cohérence (informatique)
Sciences et techniques communes
Mathematiques
Logique mathematique
Logique intuitionniste
Semantique algebrique
Complexite calcul
Calcul propositionnel
Mathematical logic
Intuitionistic logic
Algebraic semantic