Communication Dans Un Congrès
Année : 2020
Fabien DELORME : Connectez-vous pour contacter le contributeur
https://univ-artois.hal.science/hal-03301169
Soumis le : mardi 27 juillet 2021-13:20:38
Dernière modification le : jeudi 7 mars 2024-11:13:03
Dates et versions
Identifiants
- HAL Id : hal-03301169 , version 1
Citer
Yakoub Salhi. On satisfiability problem in modal logic S5. 5th ACM/SIGAPP Symposium on Applied Computing (SAC'20), 2020, Unknown, Unknown Region. pp.948-955. ⟨hal-03301169⟩
Collections
15
Consultations
0
Téléchargements