Conference Papers
Year : 2005
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00000332
Submitted on : Monday, September 26, 2005-5:19:02 PM
Last modification on : Friday, March 24, 2023-2:52:47 PM
Dates and versions
Identifiers
- HAL Id : inria-00000332 , version 1
Cite
Carlos Areces, Daniel Gorin. Ordered Resolution with Selection for H(@). 11th International Conference on Logic for Programming Artificial Intelligence and Reasoning - LPAR 2004, Mar 2005, Montevideo, Uruguay, pp.125-141. ⟨inria-00000332⟩
Collections
56
View
0
Download