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

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

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

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

Author information -

Cite this article

Download Citations
Formation and Develop ment of Ide a s a bout Proving Theorems by Computers[J]. Science & Technology Review, 2001, 19(016): 14-15
PDF(279 KB)

249

Accesses

0

Citation

Detail

Sections
Recommended

/