定理机器证明思想的产生与发展
傅海伦
Formation and Develop ment of Ide a s a bout Proving Theorems by Computers
. 2001, (0106): 14 -15 . 

联系我们

  • 地址：北京市海淀区学院南路86号科技导报社　邮编：100081
  • 电话：010-62138113　传真：010-62138113
  • E-mail：kjdbbjb@cast.org.cn

    • 访问统计

      总访问量
      今日访问
      在线人数
    科技导报官方微信公众号
    京ICP备14028469号-1　
    版权所有 © 《科技导报》编辑部