Author： 敖友云
Publisher： 汉斯出版社
ISSN： 2161-881X
Source： Computer Science and Application, Vol.01, Iss.02, 2011-09, pp. : 51-56
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
Access to resources
Recommend
A formalization of reasoning not derived from standard predicate logic
By Tseytin G.S.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :
A predicate-ordered logic for knowledge representation on the web
By Qu Y.
Future Generation Computer Systems, Vol. 20, Iss. 1, 2004-01 ,pp. :
Formalizing Dijkstra's predicate transformer wp in weak second-order logic
By Berghammer R. Elbl B. Schmerl U.
Theoretical Computer Science, Vol. 146, Iss. 1, 1995-07 ,pp. :