
Formation and Develop ment of Ide a s a bout Proving Theorems by Computers
Science & Technology Review ›› 2001, Vol. 19 ›› Issue (016) : 14-15.
Formation and Develop ment of Ide a s a bout Proving Theorems by Computers
/
〈 |
|
〉 |