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
更新
大幅提高文件上传限制,最高150M (2024-4-1)

科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
4秒前
心跳完成签到 ,获得积分10
9秒前
娃哈哈完成签到 ,获得积分10
10秒前
好好好完成签到 ,获得积分10
11秒前
蛋妮完成签到 ,获得积分10
15秒前
little2000完成签到 ,获得积分10
17秒前
hy完成签到,获得积分10
19秒前
21秒前
机智的从霜完成签到 ,获得积分10
22秒前
高高的丹雪完成签到 ,获得积分10
32秒前
wjf123完成签到 ,获得积分10
36秒前
开心夏旋完成签到 ,获得积分10
36秒前
打打应助不吃别夹采纳,获得10
40秒前
我和你完成签到 ,获得积分10
47秒前
51秒前
木南大宝完成签到 ,获得积分10
1分钟前
美好乐松完成签到,获得积分10
1分钟前
shidandan完成签到 ,获得积分10
1分钟前
阳光的凝冬完成签到 ,获得积分10
1分钟前
Herbs完成签到 ,获得积分10
1分钟前
落寞醉易完成签到 ,获得积分10
1分钟前
ewind完成签到 ,获得积分10
1分钟前
leaf完成签到 ,获得积分10
1分钟前
gmc完成签到 ,获得积分10
1分钟前
xaopng完成签到,获得积分10
1分钟前
缓慢的微笑完成签到 ,获得积分10
1分钟前
xtutang完成签到 ,获得积分10
1分钟前
chenbin完成签到,获得积分10
2分钟前
陈米花完成签到,获得积分10
2分钟前
yyjl31完成签到,获得积分10
2分钟前
Simon_chat完成签到,获得积分10
2分钟前
穆一手完成签到 ,获得积分10
2分钟前
吐司炸弹完成签到,获得积分10
2分钟前
mayfly完成签到,获得积分10
2分钟前
大大蕾完成签到 ,获得积分10
2分钟前
XC完成签到 ,获得积分10
2分钟前
潘fujun完成签到 ,获得积分10
2分钟前
飞云完成签到 ,获得积分10
2分钟前
乒坛巨人完成签到 ,获得积分10
2分钟前
正直的松鼠完成签到 ,获得积分10
2分钟前
高分求助中
Sustainability in Tides Chemistry 2000
Microlepidoptera Palaearctica, Volumes 1 and 3 - 13 (12-Volume Set) [German] 1122
Дружба 友好报 (1957-1958) 1000
The Data Economy: Tools and Applications 1000
Mantiden - Faszinierende Lauerjäger – Buch gebraucht kaufen 700
PraxisRatgeber Mantiden., faszinierende Lauerjäger. – Buch gebraucht kaufe 700
A Dissection Guide & Atlas to the Rabbit 600
热门求助领域 (近24小时)
化学 医学 生物 材料科学 工程类 有机化学 生物化学 物理 内科学 纳米技术 计算机科学 化学工程 复合材料 基因 遗传学 催化作用 物理化学 免疫学 量子力学 细胞生物学
热门帖子
关注 科研通微信公众号,转发送积分 3099800
求助须知:如何正确求助?哪些是违规求助? 2751277
关于积分的说明 7612198
捐赠科研通 2403062
什么是DOI,文献DOI怎么找? 1275162
科研通“疑难数据库(出版商)”最低求助积分说明 616276
版权声明 599053