Communication Dans Un Congrès
Année : 2015
Michael Sioutis : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02070297
Soumis le : dimanche 17 mars 2019-14:48:54
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Citer
Yakoub Salhi, Michael Sioutis. A Resolution Method for Modal Logic S5. GCAI 2015. Global Conference on Artificial Intelligence, Oct 2015, Tbilisi, Georgia. pp.252-240, ⟨10.29007/1zgr⟩. ⟨hal-02070297⟩
Collections
34
Consultations
0
Téléchargements