Search
  • All Journals
Advanced Search
Search articles by Title, Author, Keywords, DOI
3.9CiteScore
1.3Impact Factor
Advanced Search
MAP  >  The Knowledge Engineering Review
1988 Volume 3
Article Contents
Next Previous
RESEARCH ARTICLE   Open Access    

More Information
  • 加载中
  • Chang C-L and Lee R C-T, (1973). Symbolic Logic and Mechanical Theorem Proving, Academic Press.

    Google Scholar

  • Cite this article

    shu
Download PDF

Article Metrics

Article views(23) PDF downloads(99)

Other Articles By Authors

RESEARCH ARTICLE   Open Access    

  • Published online: 07 July 2009
The Knowledge Engineering Review  3,  Article number: 10.1017/S0269888900004641  (1988)  |  Cite this article

    HTML

    Rights and permissions
    • Copyright © Cambridge University Press 19881988Cambridge University Press
References (1)
  • About this article
    Cite this article
    shu

    • Catalog

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return