×

找到18个文档（结果1-18）

最新的 引文 关联
塞斯·劳埃德

自由意志的图灵测试。 （英语） Zbl 1321.81005号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3597-3610（2012）.
MSC公司：81第05页 2010年第68季度 90立方厘米 00A79号
PDF格式BibTeX公司 XML格式引用
\textit{S.劳埃德}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3597-3610（2012；Zbl 1321.81005）
全文： 内政部 arXiv公司
凯斯，约翰；蒂莫·科茨

可计算性理论学习复杂性。 （英语） Zbl 1328.68099号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3570-3596（2012）.
MSC公司：68问题32
PDF格式BibTeX公司 XML格式引用
\textit{J.Case}和\textit{T.Kötzing}，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3570-3596（2012；Zbl 1328.68099）
全文： 内政部
保罗·斯莫伦斯基

来自神经计算的符号函数。 （英语） Zbl 1328.68070号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3543-3569（2012）.
MSC公司：2005年第68季度 2010年第68季度 68T01型 92秒20
PDF格式BibTeX公司 XML格式引用
\textit{P.Smolensky}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3543-3569（2012；Zbl 1328.68070）
全文： 内政部
卢西亚诺·弗洛里迪

图灵的三节哲学课和信息哲学。 （英语） Zbl 1322.00024号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3536-3542（2012）.
MSC公司：00A30型 03A05号 94甲15 94甲17
PDF格式BibTeX公司 XML格式引用
\textit{L.Floridi}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3536-3542（2012；Zbl 1322.00024）
全文： 内政部
埃里克·艾伦德；V·阿尔文德。；拉胡尔·桑塔纳姆；王凤鸣

从可怜的下界统一去噪。 （英语） Zbl 1328.68079号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3512-3535（2012）.
MSC公司：65年第68季度 2017年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.Allender}等人，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3512--3535（2012年；兹bl 1328.68079）
全文： 内政部
乔治·巴姆帕利亚斯；David L.Dowe。

无前缀机器的普遍概率。 （英语） Zbl 1329.03077号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3488-3511（2012）.
MSC公司：03天32分 03日第10天 03D28号 第68季度30
PDF格式BibTeX公司 XML格式引用
\textit{G.Barmpalias}和\textit{D.L.Dowe}，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3488--3511（2012；Zbl 1329.03077）
全文： 内政部
美国科伦巴赫。；L·卢什坦。

关于通过Banach极限证明收敛性的计算内容。 （英语） Zbl 1329.03094号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3449-3463（2012）.
MSC公司：03层60 46 S30 2009年9月47日
PDF格式BibTeX公司 XML格式引用
\textit{U.Kohlenbach}和\textit{L.Leuštean}，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3449-3463（2012；Zbl 1329.03094）
全文： 内政部
乌梅什·瓦齐拉尼；托马斯·维迪克

可认证量子骰子。 （英语） 兹比尔1320.81046

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，第1971号，3432-3448（2012）.
MSC公司：81页94 94A60型 91A15型
PDF格式BibTeX公司 XML格式引用
\textit{U.Vazirani}和\textit{T.Vidick}，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3432-3448（2012；Zbl 1320.81046）
全文： 内政部
阿图尔·埃克特；阿拉斯泰尔·凯；教皇，詹姆斯

图灵、密码和量子。 （英语） Zbl 1321.81019号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3418-3431（2012）.
MSC公司：81页94 81页40页 94A60型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ekert}等人，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370、编号1971、3418-3431（2012；Zbl 1321.81019）
全文： 内政部
哈迪，卢西恩

量子理论的算符张量公式。 （英语） Zbl 1325.81006号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3385-3417（2012）.
审核人：巴萨诺·瓦奇尼（米兰）
MSC公司：81第05页 第81页，共15页 第81页，共16页 81页68
PDF格式BibTeX公司 XML格式引用
\textit{L.Hardy}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3385--3417（2012；Zbl 1325.81006）
全文： 内政部 arXiv公司
埃德温·贝格斯。；JoséFélix科斯塔；约翰·V·塔克。

将物理实验公理化为算法的神谕。 （英语） Zbl 1334.68063号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3359-3384（2012）.
MSC公司：2005年第68季度 00A79号 2015年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{E.J.Beggs}等人，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3359-3384（2012；Zbl 1334.68063）
全文： 内政部
Gilles Dowek

物理丘奇理论和实数的非确定性计算。 （英语） Zbl 1329.03080号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3349-3358（2012）.
MSC公司：03D78号 03日第10天
PDF格式BibTeX公司 XML格式引用
\textit{G.Dowek}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3349-3358（2012；Zbl 1329.03080）
全文： 内政部
纳鸿·德肖维茨；叶夫根尼亚·法尔科维奇

诚实的普遍性。 （英语） 兹比尔1328.68062

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3340-3348（2012）.
MSC公司：2005年第68季度 03日第10天
PDF格式BibTeX公司 XML格式引用
\textit｛N.Dershowitz｝和\textit｛E.Falkovich｝，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3340--3348（2012；Zbl 1328.68062）
全文： 内政部
Jean-Yves玛丽恩

从图灵机器到计算机病毒。 （英语） Zbl 1328.68066号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3319-3339（2012）.
MSC公司：2005年第68季度 03日第10天 68号30
PDF格式BibTeX公司 XML格式引用
\文本{J.-Y.马里恩}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3319--3339（2012；Zbl 1328.68066）
全文： 内政部
尼尔·D·琼斯。；雅各布·格鲁·西蒙森

程序=数据=计算世界中的一流公民。 （英语） Zbl 1328.68064号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3305-3318（2012）.
MSC公司：2005年第68季度 03日第10天 03D20日 68号30
PDF格式BibTeX公司 XML格式引用
\textit｛N.D.Jones｝和\textit｛J.G.Simonsen｝，Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3305--3318（2012；Zbl 1328.68064）
全文： 内政部
罗伯特·欧文·苏尔

可计算性中的形式主义和直觉。 （英语） Zbl 1338.03075号

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3277-3304（2012）.
MSC公司：03日第10天 03-03 03D20日 03D28号 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{R.I.Soare}，菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3277--3304（2012；Zbl 1338.03075）
全文： 内政部
S.Barry库珀（编辑）；萨姆森·艾布拉姆斯基（编辑）

前言：计算、物理和心理的基础：图灵遗产。 （英语） 兹比尔1321.00091

菲洛斯。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。 370，编号1971，3273-3276（2012）.
MSC公司：00亿05 00B15号机组 68-06 03-06
PDF格式BibTeX公司 XML格式引用
\textit{S.B.Cooper}（编辑）和\textit{S.Abramsky}（主编），Philos。事务处理。英国皇家学会。，序列号。A、 数学。物理学。工程科学。370，编号1971，3273-3276（2012；Zbl 1321.00091）
全文： 内政部

筛选结果依据…

全部的 前5名

作者

全部的 前3名

主字段

软件