搜索页_ Church s Thesis

设为首页

收藏本站

网站地图 | English | 公务邮箱

About the library

Background
History
Leadership
Organization

Readers' Guide

Opening Hours
Collections
Help Via Email

Publications

Electronic Information Resources

常用资源

GSW全文库(1)	Springer电子图书(1)	CNKI学位论文(4383)	知网期刊论文(416)
馆藏书目(4)	CNKI会议论文(2)	CNKI期刊论文0611(3)

在“Elsevier电子期刊”中，命中：35条，耗时：小于0.01 秒

在所有数据库中总计命中：4,810条

1.The universal numbers. From Biology to Physics

作者：Bruno Marchal

刊名：Progress in Biophysics and Molecular Biology

出版年：2015

2.The computationalist reformulation of the mind-body problem

作者：Bruno Marchal

关键词：Universal dovetailer argument ; Church-turing thesis ; Filmed graph argument ; Quantum logic ; Self-reference ; Computationalism

刊名：Progress in Biophysics and Molecular Biology

出版年：2013

3.Evidence-Based Obesity Treatment Interventions for Latino Adults in the U.S.: A Systematic Review

作者：Lilian G. Perez ; MPH^a ; Elva M. Arredondo ; PhD^a ; John P. Elder ; PhD ; MPH^a ; ^{jelder@projects.sdsu.edu} ; Simó ; n Barquera ; MD ; PhD^b ; Brian Nagle ; MPH^a ; Christina K. Holub ; PhD ; MPH^a

刊名：American Journal of Preventive Medicine

出版年：2013

4.Copeland and Proudfoot on computability

作者：Michael Rescorla ^{rescorla@philosophy.ucsb.edu}

关键词：Computation ; Church&rsquo ; s thesis ; Deviant notation ; Turing machine

刊名：Studies in History and Philosophy of Science Part A

出版年：2012

5.Monoidal computer I: Basic computability by string diagrams

作者：Dusko Pavlovic^a ; ^b ; ^{dusko.pavlovic@rhul.ac.uk}

刊名：Information and Computation

出版年：2013

6.Church’s thesis meets the N-body problem

作者：Warren D. Smith

关键词：Newtonian N-body problem ; Church’ ; s thesis ; Computability ; Numerical methods for ordinary differential equations

刊名：Applied Mathematics and Computation

出版年：2006

7.Political Education in the Middle Ages: The Tractatus de morali principis institutione by Vincent of Beauvais (c. 1263)

作者：Javier Vergara^a ; ^{fvergara@edu.uned.es"" rel=""nofollow} ; Miguel Rumayor^b

关键词：Education ; morality ; political ; history ; Church

刊名：Procedia - Social and Behavioral Sciences

出版年：2011

8.The Church–Turing thesis: Still valid after all these years?

作者：Antony Galton

关键词：Turing machine ; Church– ; Turing thesis ; Hypercomputation

刊名：Applied Mathematics and Computation

出版年：2006

9.Computation, hypercomputation, and physical science

作者：Konstantine Arkoudas

关键词：Hypercomputation ; Church– ; Turing thesis ; Gandy's thesis ; Mechanical computability ; Algorithms ; Turing limit ; Physical science ; Physical computability

刊名：Journal of Applied Logic

出版年：2008

10.Deviant encodings and Turing’s analysis of computability

作者：B. Jack Copel ; Diane Proudfoot

关键词：Systematic procedure ; Turing machine ; Church– ; Turing thesis ; Deviant encoding ; Acceptable encoding ; Turing’ ; s analysis of computability ; Turing’ ; s Notational Thesis

刊名：Studies in History and Philosophy of Science Part A

出版年：2010

按检索点细分(35)

题名(2)

关键词(14)

文摘(23)

按出版年细分(35)

2027年及以后(1)

2015年(1)

2013年(3)

2012年(1)

2011年(1)

2010年(2)

2009年(2)

2008年(2)

2007年(1)

2006年(6)

2005年(1)

2004年(4)

2001年(2)

2000年及以前(8)