文章免费访问 在上共享 算法245:Treesort 作者: 罗伯特·弗洛伊德 马萨诸塞州韦克菲尔德计算机协会 马萨诸塞州韦克菲尔德Computer Associates,Inc查看个人资料 作者信息和声明 ACM通信第7卷第12版1964年12月https://doi.org/10.1145/355588.365103出版:1964年12月1日出版历史 ACM通信第7卷第12期 上一个第条下一步第条 摘要没有可用的摘要。 引用人查看全部 索引术语 算法245:Treesort软件及其工程软件符号和工具通用编程语言语言类型 索引项已通过自动分类分配给内容。 建议 算法245[M1]的证明:树3:算法证明——一种新的证明阅读更多信息一阶逻辑中的证据算法和推理搜索 20世纪70年代初,在基辅,自动化定理证明的研究开始于所谓的证据算法(EA)程序的框架内,具有Mizar项目的一些一般特征,特别是面向……的开发。。。阅读更多信息直觉主义三格逻辑 我们采纳了Odintsov(2009,Studia Logica公司,91,407–428)并定义由三格结构产生的某些逻辑的直觉变体十六三在Shramko和Wansing(2005,哲学逻辑杂志、34、121–153和。。。阅读更多信息 评论 Please enable JavaScript to view thecomments powered by Disqus. 登录选项检查您是否可以通过登录凭据或您的机构访问本文。登录完全访问权限获取此文章 问询处贡献者发布于 ACM通信 第7卷第12期1964年12月64页国际标准编号:0001-0782EISSN公司:1557-7317内政部:10.1145/355588编辑:C.C.哥特利布加拿大多伦多多伦多大学期刊目录 版权所有©1964 ACM允许制作本作品的全部或部分数字或硬拷贝供个人或课堂使用,但不收取任何费用,前提是复制品的制作或分发不是为了盈利或商业利益,并且复制品在首页注明本通知和完整引文。必须尊重ACM以外的其他人拥有的本作品组件的版权。允许用信用证进行摘要。要以其他方式复制或重新发布,在服务器上发布或重新发布到列表,需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]赞助商合作中发布者计算机协会美国纽约州纽约市 出版历史 出版:1964年12月1日 权限请求有关此文章的权限。请求权限 检查更新 限定符文章会议资金来源 其他指标查看文章指标文献计量学引文214文章指标214引文总数查看引文3,516总下载次数下载量(最近12个月)864下载次数(最近6周)133其他指标查看作者指标引用人查看全部PDF格式以PDF文件查看或下载。PDF格式电子阅读器使用eReader联机查看。电子阅读器数字版以数字版本查看这篇文章。查看数字版数字其他共享此出版物链接https://dl.acm.org/doi/10.1145/355588.365103网址复制链接在社交媒体上分享 在上共享 0工具书类