Author: Carter P.D. Patrick J.D. deane F.P.
Publisher: Academic Press
ISSN: 1071-5819
Source: International Journal of Human-Computer Studies, Vol.54, Iss.3, 2001-03, pp. : 301-317
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
PHYSIK IN UNSERER ZEIT (PHIUZ), Vol. 49, Iss. 1, 2018-01 ,pp. :
Mechanizing common knowledge logic using COQ
Annals of Mathematics and Artificial Intelligence, Vol. 48, Iss. 1-2, 2006-09 ,pp. :