编辑配置文件（在新选项卡中打开） 汤姆·梅尔姆 合著者距离 作者ID： 梅尔罕托姆 发布日期： 汤姆·梅尔姆 已编制索引的文档： 9出版物自1993年以来，包括1本书 2作为编辑的贡献 合著者： 18位合著者具有9联合出版物 332合著作者 全部的 前5名合著者 2 单作者的 2 吉姆·格兰迪 2 丹尼尔·科宁 1 理查德·博尔顿。 1 格雷厄姆·柯林斯。 1 丹尼斯，路易斯·阿比盖尔 1 利奥波德·哈勒 1 赫德，乔 1 巴特·雅各布斯 1 娜塔莎·约加南达·杰普 1 萨瓦·A·克里斯蒂。 1 蒂齐亚娜·玛格丽亚 1 肖恩·麦克劳林 1 穆克吉，拉杰迪普 1 迈克尔·诺里什 1 格雷厄姆·罗宾逊 1 彼得·施拉梅尔 1 康拉德·斯林德 1 孔友素山都 系列 2 计算机科学课堂讲稿 1 超级计算杂志 1 系统设计中的形式化方法 1 函数编程杂志 1 剑桥理论计算机科学丛书 领域 11 计算机科学（68至XX） 2 总体主题；集合（00-XX） 2 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 7出版物有被引用19中的次18文件 引用人▼ 年份▼ 高阶逻辑和硬件验证。 Zbl 0819.68015号 T·梅尔姆。 10 1993 PROSPER工具包。 Zbl 0971.68638号 路易斯·丹尼斯（Louise A.Dennis）。;格雷厄姆·柯林斯;迈克尔·诺里什;理查德·博尔顿;康拉德·斯林德;格雷厄姆·罗宾逊;戈登，迈克;汤姆·梅尔姆 7 2000 一种用于硬件设计和定理证明的反射函数语言。 Zbl 1086.68526号 吉姆·格兰迪;汤姆·梅尔姆;约翰·奥利里 5 2006 高阶逻辑中的定理证明。2005年8月22日至25日，第18届国际会议，TPHOLs 2005，英国牛津。诉讼程序。 Zbl 1087.68005号 三 2005 将依赖型理论转化为高阶逻辑。 兹比尔0788.68130 巴特·雅各布斯;汤姆·梅尔姆 2 1993 将CDCL提升到基于模板的抽象域以进行程序验证。 Zbl 1495.68139号 穆克吉，拉杰迪普;彼得·施拉梅尔;利奥波德·哈勒;丹尼尔·克罗宁;汤姆·梅尔姆 1 2017 一阶解算器API的工具构建要求。 Zbl 1272.68358号 吉姆·格兰迪;汤姆·梅尔姆;萨瓦·克里斯蒂奇;肖恩·麦克劳林 1 2006 将CDCL提升到基于模板的抽象域以进行程序验证。 Zbl 1495.68139号 穆克吉，拉杰迪普;彼得·施拉梅尔;利奥波德·哈勒;丹尼尔·克罗宁;汤姆·梅尔姆 1 2017 用于硬件设计和定理证明的反射函数语言。 兹比尔1086.68526 吉姆·格兰迪;汤姆·梅尔姆;O＆rsquo的；约翰·李里 5 2006 一阶解算器API的工具构建要求。 Zbl 1272.68358号 吉姆·格兰迪;汤姆·梅尔姆;萨瓦·克里斯蒂奇;肖恩·麦克劳林 1 2006 高阶逻辑中的定理证明。2005年8月22日至25日，第18届国际会议，TPHOLs 2005，英国牛津。诉讼程序。 Zbl 1087.68005号 三 2005 PROSPER工具包。 Zbl 0971.68638号 路易斯·丹尼斯（Louise A.Dennis）。;格雷厄姆·柯林斯;迈克尔·诺里什;理查德·博尔顿;康拉德·斯林德;格雷厄姆·罗宾逊;戈登，迈克;汤姆·梅尔姆 7 2000 高阶逻辑和硬件验证。 Zbl 0819.68015号 T·梅尔姆。 10 1993 将依赖类型理论转化为高阶逻辑。 Zbl 0788.68130号 巴特·雅各布斯;汤姆·梅尔姆 2 1993 所有引用出版物 前5名被引用出版物 全部的 前5名37位作者引用 三 Farmer，William M。 1 达米安·巴索蒂 1 安·布兰德福德 1 理查德·博尔顿。 1 保罗·库松 1 雅克·弗莱里奥。 1 汉内·戈特利布森 1 简·哈尔特曼 1 威廉·N·洪。 1 赫德，乔 1 我是宣城 1 罗伯特·琼斯。 1 马特·考夫曼 1 汤姆·凯尔西 1 萨瓦·A·克里斯蒂。 1 维克多·昆卡 1 李永坚 1 乌苏拉·马丁 1 劳拉·I·梅克尔。 1 J Strother摩尔 1 利昂诺·普伦萨·尼托 1 托比亚斯·尼普科夫 1 迈克尔·诺里什 1 史蒂文·奥布阿 1 松武公园 1 劳伦斯·查尔斯·保尔森 1 鲁齐卡皮斯卡 1 弗洛里安·拉贝 1 桑迪普·雷 1 埃里克·里伯 1 康拉德·斯林德 1 克里斯蒂娜·索贾科娃 1 宋晓宇 1 索菲涅·塔哈尔 1 阿文·费南托（Alwen Fernanto Tiu） 1 海克·卫尔海姆 1 熊海燕 全部的 前5名10篇连载文章中引用 2 自动化推理杂志 2 应用逻辑杂志 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 计算的形式方面 1 系统设计中的形式化方法 1 函数编程杂志 1 数学与人工智能年鉴 1 高阶和符号计算 在5个字段中引用 17 计算机科学（68至XX） 8 数学逻辑和基础（03-XX） 1 历史和传记（01-XX） 1 数论（11-XX） 1 运筹学、数学规划（90-XX） 按年份列出的引文