Conference Papers
Year : 1999
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00000333
Submitted on : Friday, September 23, 2005-5:47:06 PM
Last modification on : Friday, September 23, 2005-5:47:06 PM
Dates and versions
Identifiers
- HAL Id : inria-00000333 , version 1
Cite
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
View
0
Download