Formation and Develop ment of Ide a s a bout Proving Theorems by Computers

Science & Technology Review ›› 2001, Vol. 19 ›› Issue (0106) : 14-15.

PDF(279 KB)
PDF(279 KB)
Science & Technology Review ›› 2001, Vol. 19 ›› Issue (0106) : 14-15.
基础科学

Formation and Develop ment of Ide a s a bout Proving Theorems by Computers

    {{javascript:window.custom_author_en_index=0;}}
  • {{article.zuoZhe_EN}}
Author information -
About authors:
Corresponding authors:

HeighLight

{{article.keyPoints_en}}

Abstract

{{article.zhaiyao_en}}

Key words

QR code of this article

Cite this article

EndNote

Ris (Procite)

Bibtex

Download Citations
{{article.zuoZheEn_L}}. {{article.title_en}}[J]. {{journal.qiKanMingCheng_EN}}, 2001, 19(0106): 14-15

References

List( Publishing order | Descend order by publishing year | Descend order by cited within ) Chart analysis

References

{{article.reference}}

Funding

RIGHTS & PERMISSIONS

{{article.copyrightStatement_en}}
{{article.copyrightLicense_en}}
PDF(279 KB)

Accesses

Citation

Detail
Sections
Recommended

Contact

  • Add：No. 86 Xueyuan South Road, Haidian District, Beijing　 Postal Code：100081
  • Tel: +86-10-62138113　Fax: +86-10-62138113
  • E-mail：kjdbbjb@cast.org.cn

    • Visited

      Total visitors:
      Visitors of today:
      Now online:
    Copyright © Science & Technology Review, All Rights Reserved.

    /

    〈 〉