机译:相对于教会的转向假说:计算的物理基础和计算物理的复杂性理论
机译:封闭系统的有界教会转折论题和计算可牵引性
机译:实数的物理教会论题和非确定性计算
机译:关于构建计算形式形式理论的研究,注意图灵,教堂和布劳尔的作用
机译:建筑部:循道卫理联合大臣在都柏林第一UMC(一个大型历史教堂)的主要建筑项目中的作用
机译:图林的1952年形态发生理论以及随后发现的局部自我增强和远程抑制的关键作用的发现
机译:围绕物理教会 - 图灵论文:细胞自动机,形式语言和量子理论的原理
机译:Brouwer人工卫星理论在状态转移矩阵计算中的应用