Proofs and Computations
Proofs and Computations
复制标题
证明与计算
DOI：
--
复制
发表时间：
2012
期刊：
影响因子：
--
通讯作者：
Schwichtenberg H
中科院分区：
文献类型：
--
作者：
Schwichtenberg H
登录
查看更多内容
DOI：
--
发表时间：
2010
期刊：
影响因子：
--
作者：
George b. Wentworth
通讯作者：
George b. Wentworth
DOI：
--
发表时间：
1995
期刊：
影响因子：
--
作者：
P. Clote;G. Takeuti
通讯作者：
G. Takeuti
归纳定义类型的对象总数
影响因子：
0.3
作者：
L. Kristiansen;D. Normann
通讯作者：
D. Normann
DOI：
--
发表时间：
1978
期刊：
影响因子：
--
作者：
H. Friedman
通讯作者：
H. Friedman
阿兰·图灵的早期程序证明
DOI：
--
发表时间：
1984
期刊：
Annals of the History of Computing
影响因子：
--
作者：
F. L. Morris;Cliff B. Jones
通讯作者：
Cliff B. Jones