Author: Green Nick
Publisher: Emerald Group Publishing Ltd
ISSN: 0368-492X
Source: Kybernetes: The International Journal of Systems & Cybernetics, Vol.33, Iss.9-10, 2004-09, pp. : 1433-1462
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
Kybernetes: The International Journal of Systems & Cybernetics, Vol. 30, Iss. 7-8, 2001-09 ,pp. :
Extended normal form theorems for logical proofs from axioms
Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. :