加入收藏 | 设为首页 
   
  2001, Vol. 19 Issue (016): 14-15    DOI:
  基础科学 本期目录 | 过刊浏览 | 高级检索 |
定理机器证明思想的产生与发展
傅海伦
山东师范大学数学系,济南250014
Formation and Develop ment of Ide a s a bout Proving Theorems by Computers
版权所有 © 《科技导报》编辑部    京ICP备14028469号-1
地址:北京市海淀区学院南路86号科技导报社 邮编:100081
电话:010-62138113,传真:010-62138113 电子信箱:kjdbbjb@cast.org.cn