A MACHINE PROGRAM FOR THEOREM-PROVING
A MACHINE PROGRAM FOR THEOREM-PROVING
复制标题
DOI：
10.1145/368273.368557
复制
发表时间：
1962-01-01
影响因子：
22.7
通讯作者：
LOVELAND, D
中科院分区：
文献类型：
--
作者：
DAVIS, M;LOGEMANN, G;LOVELAND, D
结合试运行和可能的改进，讨论了证明程序的编程。
The programming of a proof procedure is discussed in connection with trial runs and possible improvements.