定理机器证明思想的产生与发展

PDF(279 KB)

科技导报 ›› 2001, Vol. 19 ›› Issue (016) : 14-15.

定理机器证明思想的产生与发展

作者信息 -

作者简介:

通信作者:

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

Author information -

Corresponding authors:

导出引用

{{article.zuoZheCn_L}}. {{article.title_cn}}[J]. {{journal.qiKanMingCheng_CN}}, 2001, 19(016): 14-15

{{article.zuoZheEn_L}}. {{article.title_en}}[J]. {{journal.qiKanMingCheng_EN}}, 2001, 19(016): 14-15

中图分类号：

列表( 原文顺序 | 文献年度倒序 | 文中引用次数倒序 ) 可视化分析

PDF(279 KB)

Accesses

Citation

Detail

段落导航