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

科研通智能强力驱动
Strongly Powered by AbleSci AI
科研通是完全免费的文献互助平台,具备全网最快的应助速度,最高的求助完成率。 对每一个文献求助,科研通都将尽心尽力,给求助人一个满意的交代。
实时播报
刚刚
liushikai应助科研通管家采纳,获得20
刚刚
斯文败类应助科研通管家采纳,获得10
刚刚
SciGPT应助科研通管家采纳,获得10
1秒前
星辰大海应助科研通管家采纳,获得10
1秒前
完美世界应助科研通管家采纳,获得10
1秒前
畔畔应助科研通管家采纳,获得30
1秒前
1秒前
传奇3应助科研通管家采纳,获得30
1秒前
英姑应助科研通管家采纳,获得30
1秒前
脑洞疼应助科研通管家采纳,获得10
1秒前
Twonej应助科研通管家采纳,获得50
1秒前
1秒前
1秒前
1秒前
1秒前
我是老大应助科研通管家采纳,获得10
1秒前
2秒前
2秒前
Lucas应助科研通管家采纳,获得10
2秒前
2秒前
Racheal完成签到,获得积分20
2秒前
桐桐应助科研通管家采纳,获得10
2秒前
CipherSage应助blue采纳,获得10
2秒前
2秒前
桐桐应助科研通管家采纳,获得30
2秒前
bkagyin应助科研通管家采纳,获得10
2秒前
今后应助科研通管家采纳,获得80
2秒前
脑洞疼应助科研通管家采纳,获得10
2秒前
NexusExplorer应助科研通管家采纳,获得10
2秒前
liushikai应助科研通管家采纳,获得20
2秒前
2秒前
星辰大海应助科研通管家采纳,获得10
2秒前
2秒前
852应助科研通管家采纳,获得10
2秒前
清脆的凉面完成签到,获得积分20
3秒前
3秒前
Jasper应助科研通管家采纳,获得10
3秒前
852应助科研通管家采纳,获得10
3秒前
无极微光应助科研通管家采纳,获得20
3秒前
高分求助中
(应助此贴封号)【重要!!请各用户(尤其是新用户)详细阅读】【科研通的精品贴汇总】 10000
AnnualResearch andConsultation Report of Panorama survey and Investment strategy onChinaIndustry 1000
卤化钙钛矿人工突触的研究 1000
Engineering for calcareous sediments : proceedings of the International Conference on Calcareous Sediments, Perth 15-18 March 1988 / edited by R.J. Jewell, D.C. Andrews 1000
Continuing Syntax 1000
Signals, Systems, and Signal Processing 610
2026 Hospital Accreditation Standards 500
热门求助领域 (近24小时)
化学 材料科学 医学 生物 纳米技术 工程类 有机化学 化学工程 生物化学 计算机科学 物理 内科学 复合材料 催化作用 物理化学 光电子学 电极 细胞生物学 基因 无机化学
热门帖子
关注 科研通微信公众号,转发送积分 6265998
求助须知:如何正确求助?哪些是违规求助? 8087446
关于积分的说明 16904146
捐赠科研通 5336227
什么是DOI,文献DOI怎么找? 2840151
邀请新用户注册赠送积分活动 1817359
关于科研通互助平台的介绍 1670756