Communication Dans Un Congrès
Année : 2015
Michael Sioutis : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02068048
Soumis le : jeudi 14 mars 2019-15:28:47
Dernière modification le : mercredi 20 septembre 2023-15:36:06
Citer
Michael Sioutis, Jean-François Condotta, Yakoub Salhi, Bertrand Mazure. Generalized Qualitative Spatio-Temporal Reasoning: Complexity and Tableau Method. Automated Reasoning with Analytic Tableaux and Related Methods - 24th International Conference (TABLEAUX 2015), Sep 2015, Wroclaw, Poland. pp.54-69, ⟨10.1007/978-3-319-24312-2_5⟩. ⟨hal-02068048⟩
Collections
25
Consultations
0
Téléchargements