Author： de Raedt L. Dehaspe L.
Publisher： Springer Publishing Company
ISSN： 0885-6125
Source： Machine Learning, Vol.26, Iss.2-3, 1997-02, pp. : 99-146
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content
Reductions for non-clausal theorem proving
By Aguilera G. de Guzman I.P. Ojeda-Aciego M. Valverde A.
Theoretical Computer Science, Vol. 266, Iss. 1, 2001-09 ,pp. :
Access to resources
Recommend
