Communication Dans Un Congrès
Année : 1999
Areces Carlos : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00000333
Soumis le : vendredi 23 septembre 2005-17:47:06
Dernière modification le : vendredi 23 septembre 2005-17:47:06
Dates et versions
Identifiants
- HAL Id : inria-00000333 , version 1
Citer
C. Areces, H. de Nivelle, M. de Rijke. Prefixed resolution: a resolution method for modal and description logics. Automated deduction --- CADE-16 (Trento, 1999), 1999, Berlin, Germany, pp.187--201. ⟨inria-00000333⟩
9
Consultations
0
Téléchargements