Author： Ibaraki T.
Publisher： Springer Publishing Company
ISSN： 1012-2443
Source： Annals of Mathematics and Artificial Intelligence, Vol.38, Iss.4, 2003-08, pp. : 233-255
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
Horn minimization by iterative decomposition
By Boros E.
Annals of Mathematics and Artificial Intelligence, Vol. 23, Iss. 3-4, 1998-01 ,pp. :
Access to resources
Recommend
Gabriel's Horn: A Revolutionary Tale
Mathematics Magazine, Vol. 87, Iss. 4, 2014-10 ,pp. :
A new decidable Horn fragment of predicate calculus
By Orevkov V.
Journal of Mathematical Sciences, Vol. 134, Iss. 5, 2006-05 ,pp. :