Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam 1965, pp. 24–30.

巴(单位) 出版 哲学 数理逻辑 计算机科学 认识论 数学 算法 物理 政治学 法学 气象学
作者
Stephen Cook
出处
期刊:Journal of Symbolic Logic [Cambridge University Press]
卷期号:34 (4): 657-657 被引量:127
标识
DOI:10.2307/2270886
摘要

Alan Cobham. The intrinsic computational difficulty of functions. Logic, methodology and philosophy of science, Proceedings of the 1964 International Congress, edited by Yehoshua Bar-Hillel, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 24–30. - Volume 34 Issue 4
最长约 10秒,即可获得该文献文件

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
打打应助飞羽采纳,获得10
刚刚
荞麦面发布了新的文献求助10
1秒前
00完成签到,获得积分10
2秒前
2秒前
阳光怀亦发布了新的文献求助10
3秒前
lsq108发布了新的文献求助10
7秒前
华仔应助等待的乐儿采纳,获得10
7秒前
阳光怀亦完成签到,获得积分10
9秒前
zhendou应助cgk采纳,获得10
12秒前
12秒前
aannnn发布了新的文献求助10
12秒前
14秒前
英俊的铭应助夜半微风采纳,获得10
14秒前
15秒前
15秒前
隐形曼青应助飞羽采纳,获得10
15秒前
快乐映秋完成签到,获得积分10
15秒前
余海川发布了新的文献求助10
16秒前
juejue333完成签到,获得积分10
16秒前
受伤金鑫发布了新的文献求助10
16秒前
18秒前
sunshine发布了新的文献求助10
18秒前
xumengsuo发布了新的文献求助10
18秒前
秘书发布了新的文献求助10
19秒前
BIUBIU发布了新的文献求助20
21秒前
善学以致用应助大胆浩然采纳,获得10
22秒前
小严发布了新的文献求助10
22秒前
塔塔饼完成签到,获得积分10
24秒前
Lin完成签到,获得积分10
24秒前
25秒前
真不记得用户名完成签到 ,获得积分10
25秒前
卓立0418发布了新的文献求助10
26秒前
同福发布了新的文献求助10
26秒前
李爱国应助qqa采纳,获得10
28秒前
28秒前
看你个完成签到,获得积分10
29秒前
余海川完成签到,获得积分10
29秒前
小二郎应助源源不断采纳,获得10
30秒前
31秒前
橘络发布了新的文献求助10
32秒前
高分求助中
Production Logging: Theoretical and Interpretive Elements 2500
Востребованный временем 2500
Aspects of Babylonian celestial divination : the lunar eclipse tablets of enuma anu enlil 1500
Agaricales of New Zealand 1: Pluteaceae - Entolomataceae 1040
Healthcare Finance: Modern Financial Analysis for Accelerating Biomedical Innovation 1000
Classics in Total Synthesis IV: New Targets, Strategies, Methods 1000
지식생태학: 생태학, 죽은 지식을 깨우다 600
热门求助领域 (近24小时)
化学 医学 材料科学 生物 工程类 有机化学 生物化学 纳米技术 内科学 物理 化学工程 计算机科学 复合材料 基因 遗传学 物理化学 催化作用 细胞生物学 免疫学 电极
热门帖子
关注 科研通微信公众号,转发送积分 3459066
求助须知:如何正确求助?哪些是违规求助? 3053650
关于积分的说明 9037605
捐赠科研通 2742924
什么是DOI,文献DOI怎么找? 1504562
科研通“疑难数据库(出版商)”最低求助积分说明 695334
邀请新用户注册赠送积分活动 694589