Collect | Home Page 
   
  2001, Vol. 19 Issue (016): 14-15    DOI:
基础科学 Current Issue | Archive | Adv Search |
Formation and Develop ment of Ide a s a bout Proving Theorems by Computers

Copyright © Editorial office of Science & Technology Review
Tel: +86-10-62138113 Fax: +86-10-62138113 E-mail: jdbbjb@cast.org.cn
京ICP备14028469号-1