Communication Dans Un Congrès
Année : 2001
Areces Carlos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00000321
Soumis le : vendredi 23 septembre 2005-17:10:32
Dernière modification le : vendredi 23 septembre 2005-17:10:32
Dates et versions
Identifiants
- HAL Id : inria-00000321 , version 1
Citer
C. Areces, J. Heguiabehere. HyLoRes: Direct Resolution for Hybrid Logics. Proceedings of Methods for Modalities 2, 2001, Amsterdam, The Netherlands. ⟨inria-00000321⟩
4
Consultations
0
Téléchargements