编辑配置文件(在新选项卡中打开) 赫伯特·L·盖伦特。 合著者距离 作者ID: 盖勒恩特·赫伯特-l 发布日期: H·盖伦特。;赫伯特·L·盖伦特。;赫伯特·盖伦特;盖伦特,H.L。 更多。。。较少的 外部链接: MGP公司·维基数据 已编制索引的文档: 9出版物自1957年起 1进一步贡献 合著者: 4位合著者具有3联合出版物 3位合作作者 全部的 前5名合著者 6 单作者的 1 埃弗特·威廉·贝思 1 丹尼尔·卡森(Daniel F.Carson)。 1 戴维斯,马丁·戴维 1 达维多夫,G.V。 1 布拉德福德·邓纳姆 1 弗里德沙尔,R。 1 卡尔·L·Gerberich。 1 保罗·C·吉尔摩。 1 汉森,J.R。 1 斯蒂格·康格 1 达伦·克雷布斯巴赫 1 乔治·洛格曼 1 唐纳德·洛夫兰。 1 S.Yu,马斯洛夫。 1 伯纳德·梅尔泽 1 格里戈里·埃弗罗伊莫维奇造币厂 1 艾伦·纽厄尔 1 北,J.H。 1 奥列夫科夫(V.P.Orevkov)。 1 达格·普拉维茨 1 哈坎·普拉维茨 1 希拉里·怀特霍尔·普特南 1 亚伯拉罕·鲁滨逊 1 乔治·罗宾逊。 1 约翰·艾伦·罗宾逊 1 阿尔顿·F·桑德斯。 1 尼古拉·沙宁(Nikola Shanin) 1 Jiin-Chang肖 1 谢克曼,Jörg H。 1 赫伯特·亚历山大·西蒙 1 A.O.斯利森科。 1 斯瓦德,G.L。 1 北卡罗来纳州沃格拉。 1 王浩 1 沃斯,劳伦斯·托马斯 1 格雷厄姆·怀特森 系列 1 信息和控制 1 计算机协会杂志 1 软件。实践与经验 1 计算与决策科学基础 1 物理回顾,II。系列 领域 三 计算机科学(68至XX) 1 历史和传记(01-XX) 1 数学逻辑和基础(03-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 4出版物有被引用36中的次33文件 引用人▼ 年份▼ 几何定理证明机的实现。 Zbl 0114.06901号 H·盖伦特。 28 1960 推理自动化。1:1957-1966年关于计算逻辑的经典论文。 Zbl 0567.03001号 13 1983 关于句法对称和机器对形式系统的操作的一个注释。 Zbl 0092.13402号 H·盖伦特。 5 1959 机器生成的问题解决图。 Zbl 0158.16208号 H·盖伦特。 三 1963 推理自动化。1:1957-1966年关于计算逻辑的经典论文。 Zbl 0567.03001号 13 1983 机器生成的问题解决图。 Zbl 0158.16208号 H·盖伦特。 三 1963 几何定理证明机的实现。 Zbl 0114.06901号 H·盖伦特。 28 1960 关于句法对称性和机器对形式系统的操作的注记。 Zbl 0092.13402号 H·盖伦特。 5 1959 所有引用出版物 前5名被引用出版物 全部的 前5名53位作者引用 三 贾尼契奇,普雷德拉格 2 佐尔坦科瓦奇 2 唐纳德·洛夫兰。 2 韦斯纳·马林科维奇 2 聂旭敏 2 大卫·艾伦(David Alan),Plaisted 2 帕斯卡·施莱克 2 Laurent Siklóssy 2 詹姆斯·斯拉格尔(James R.Slagle)。 1 迈克尔·爱德华·安德森 1 约书亚·本吉奥 1 伍德罗·W·布莱索。 1 弗朗西斯科·博塔纳 1 比特·布鲁德林 1 马可·卡多利 1 海尔德·科埃略 1 Jean-François Dufourd 1 约翰·杜宁(John H.Durnin)。 1 迈克尔·R·杰纳塞雷斯。 1 保罗·C·吉尔摩。 1 马修·金斯伯格。 1 福斯托·金奇利亚 1 马库斯·霍恩瓦特 1 姜建国 1 迪帕克·卡普尔 1 阿尔弗雷德·科布萨 1 Deena A.科尼弗。 1 Jean-Pierre H.劳伦特。 1 约翰·安德烈亚斯·马科夫斯基 1 尼古拉·马尔金 1 佐哈尔·曼纳 1 帕斯卡·马蒂斯 1 罗伯特·麦卡特尼 1 希拉·麦克拉伊思。 1 路易斯·莫尼兹·佩雷拉 1 莱奥拉·摩根斯坦 1 迈尔斯,卡伦·L。 1 阿瑟·奈文斯。 1 姆拉丹·尼科利奇 1 多米尼克·帕斯特 1 伊万·彼得罗维奇 1 路易斯·皮内达(Luis A.Pineda)。 1 托马斯·雷西奥 1 阿什什·萨巴沃尔 1 Joseph M.斯堪的纳维亚。 1 弗朗西斯科·斯卡切罗 1 巴特·塞尔曼 1 大卫·E·史密斯。 1 理查德·沃丁格。 1 托比·沃尔什 1 西蒙·魏茨霍弗 1 华莱士·H·II·伍尔贝克 1 张景忠 全部的 前5名8篇连载文章中引用 18 人工智能 三 信息科学 三 自动推理杂志 2 数学与人工智能年鉴 1 理论计算机科学 1 控制论与系统 1 美国数学学会公报。新系列 1 系统科学与复杂性杂志 全部的 前5名在7个字段中引用 31 计算机科学(68至XX) 6 几何图形(51至XX) 5 数学逻辑和基础(03-XX) 2 历史和传记(01-XX) 1 代数几何(14-XX) 1 数值分析(65-XX) 1 数学教育(97-XX) 按年份列出的引文 Wikidata时间线 数据显示为存储在Wikidata中的Creative Commons CC0许可证.应进行更新和更正在Wikidata中.