Conference Papers
Year : 2000
Areces Carlos : Connect in order to contact the contributor
https://inria.hal.science/inria-00000338
Submitted on : Monday, September 26, 2005-5:15:36 PM
Last modification on : Monday, September 26, 2005-5:15:36 PM
Dates and versions
Identifiers
- HAL Id : inria-00000338 , version 1
Cite
C. Areces, R. Gennari, J. Heguiabehere, M. de Rijke. Tree-Based Heuristics in Modal Theorem Proving. Proceedings of ECAI'2000, 2000, Berlin, Germany, pp.199--203. ⟨inria-00000338⟩
5
View
0
Download