

Publisher: IGI Global_journal
E-ISSN: 1947-3125|6|2|56-82
ISSN: 1947-3117
Source: International Journal of Creative Interfaces and Computer Graphics (IJCICG), Vol.6, Iss.2, 2015-07, pp. : 56-82
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






A formalization of reasoning not derived from standard predicate logic
By Tseytin G.S.
Theoretical Computer Science, Vol. 224, Iss. 1, 1999-08 ,pp. :

