编辑配置文件（在新选项卡中打开） 穆罕·加内萨林加姆 合著者距离 作者ID： ganesalingam.mohan公司 发布日期： 穆罕·加内萨林加姆；Ganesalingam，M。 已编制索引的文档： 2出版物自2013年起，包括1本书 合著者： 1位合著者具有1联合出版物 27位合作作者 合著者 1 单作者的 1 威廉·蒂莫西·高尔斯 系列 1 自动推理杂志 1 计算机科学课堂讲稿 领域 2 数学逻辑和基础（03-XX） 2 计算机科学（68至XX） 1 总体主题；集合（00-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 2出版物有被引用27中的次22文件 引用人▼ 年份▼ 具有人性化输出的全自动定理证明器。 Zbl 1405.03035号 Ganesalingam，M。；高尔斯，W.T。 17 2017 数学的语言。语言学和哲学研究。 Zbl 1271.03004号 穆罕·加内萨林加姆 10 2013 一个具有人类风格输出的全自动定理证明器。 Zbl 1405.03035号 Ganesalingam，M。；高尔斯，W.T。 17 2017 数学语言。语言学和哲学研究。 Zbl 1271.03004号 穆罕·加内萨林加姆 10 2013 所有引用出版物 前5名被引用出版物 全部的 前5名35位作者引用 三 威弗里德·西格 2 约瑟夫·科内利 2 马克斯·克拉默 2 贾尼契奇，普雷德拉格 2 彼得·科普克 2 朱利安·纳布克斯 2 艾莉森·皮斯 2 伯恩哈德·施罗德 2 萨那斯托亚诺维奇 1 巴特·博加特 1 内森·鲍勒 1 卡塔兹纳，巴兹涅斯卡 1 德拉赫尚、法扎内赫 1 埃米利奥·冈巴 1 穆罕·加内萨林加姆 1 威廉·蒂莫西·高尔斯 1 安德鲁·詹姆斯·格兰维尔 1 枪，蒂亚斯 1 雅辛·哈马米 1 亨利·哈默 1 丹尼尔·库尔温 1 汉斯，雷ß 1 乌苏拉·马丁 1 Rebecca Lea莫里斯 1 优素福·穆萨（Yusuf Moosa Motara） 1 莫里·鲁斯特，戴夫 1 野田佳彦 1 阿恩·兰塔 1 克里斯·里德 1 维克多·舒潘 1 克里斯托弗·斯通（Christopher A.Stone）。 1 帕特里克·M·沃尔什。 1 吴淑倩 1 阿卜杜·尤塞夫。 1 詹伯华 全部的 前5名引用于6个系列 三 自动推理杂志 2 人工智能 2 数学与人工智能年鉴 2 符号逻辑述评 1 理论计算机科学 1 美国数学学会公报。新系列 在5个字段中引用 19 计算机科学（68至XX） 10 数学逻辑和基础（03-XX） 5 总体主题；集合（00-XX） 三 历史和传记（01-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 按年份列出的引文