Author： Buccafurri F. Eiter T. Gottlob G. Leone N.
Publisher： Academic Press
ISSN： 0022-0000
Source： Journal of Computer and System Sciences, Vol.62, Iss.3, 2001-05, pp. : 463-515
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
Counterexamples to a likelihood theory of evidence
Minds and Machines, Vol. 16, Iss. 3, 2006-08 ,pp. :
Access to resources
Recommend
Two Apparent ‘Counterexamples’ To Marcus: A Closer Look
Minds and Machines, Vol. 15, Iss. 3-4, 2005-11 ,pp. :
Algorithms for Testing Satisfiability Formulas
By Vlada M.
Artificial Intelligence Review, Vol. 15, Iss. 3, 2001-05 ,pp. :
Description trees and Tutte formulas
Theoretical Computer Science, Vol. 292, Iss. 1, 2003-01 ,pp. :