埃尔肖夫，A.P。（编辑）;科努特，D.E。（编辑） [Zemanek，H。;科努特，D.E。;乌斯彭斯基，V.A。;塞梅诺夫，A.L。;J.M.巴兹丁。;于曼宁（音）。一、。;Nepevoda，N.N。;丘古，E.H。;莱蒂切夫斯基（A.A.Letichevsky）。;阿德尔·桑·维尔斯基，G.M。;A.O.斯利森科。;阿尔德，A。;V·斯特拉森。;南卡罗来纳州克莱恩。;北卡罗来纳州沙宁。;谢特林，G.S。;埃尔肖夫，A.P。;F.L.鲍尔。;格卢什科夫（V.M.Glushkov）。;Y·马蒂亚塞维奇。;Yu Matiyasevich。五、。;A.布达。;阿尼西莫夫。] 现代数学和计算机科学中的算法。《程序集》，乌兹别克SSR乌尔根奇，1979年9月16日至22日。 （英语） 兹伯利0477.68035 计算机科学课堂讲稿, 122. 柏林-海德堡-纽约：斯普林格-弗拉格。十一、 487 p.45.50马克；$21.20 (1981). 页码：24/35−5 −4 −3 −2 −1 ±0 +1个 +2 +3 +4个 +5 显示扫描页面 引用于19评论引用于三文件 MSC公司： 68瓦99 计算机科学中的算法 68-06 与计算机科学有关的会议记录、会议、收藏等 01A30型 伊斯兰黄金时代的数学史 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 65年第68季度 算法和问题复杂性分析 03D60年 序数、容许集等的可计算性和递归理论。 03B25号 理论和句子集的可判定性 03D25号 递归（可计算）可枚举集和度 2005年11月 可决定性（数字理论方面） 68号01 软件理论的一般主题 03层60 构造性和递归分析 65楼03号 其他构造数学 94甲15 信息论（总论） 68页第10页 搜索和排序 03A05号 逻辑和基础的哲学和批判性方面 03D40号 可计算性和递归理论中的单词问题等 2015年3月1日 计算复杂性（包括隐式计算复杂性） 60年第68季度 规范和验证（程序逻辑、模型检查等） 关键词：算法;计算机科学;诉讼;乌尔根奇/UzSSR;算法的一般理论和应用理论;计算理论;程序的归纳和结构综合;编程的逻辑方法;程序的不变关系;详尽搜索;线性代数的算法复杂性;算术语言;代数结构的可计算性;算法与代数;算法的形式变换 PDF格式BibTeX公司 XML格式