Advanced Search
    LU Ruzhan, BI Hua, SUN Yongqiang. Environment of Proving TheoremJ. Journal of Computer Research and Development, 1989, 26(8): 14-18,50.
    Citation: LU Ruzhan, BI Hua, SUN Yongqiang. Environment of Proving TheoremJ. Journal of Computer Research and Development, 1989, 26(8): 14-18,50.
    shu

    Environment of Proving Theorem

      Graphical Abstract
      • Abstract
    • This paper introduces an idea of environment of proving theorem by Boyer-Moore's method, and presents corresponding implementation KTPE system on microcomputer IBM-PC.
      • FullText(HTML)
    • loading
      • References (0)
      • Related Articles

    Catalog

      Turn off MathJax
      Article Contents
      Email Alert RSS

      /

      DownLoad:  Full-Size Img  PowerPoint
      Return
      Return