三峡工程 swMATH ID: 1826 软件作者： 新生儿M。 描述： TGTP：伟大的定理证明者。 主页： 网址：https://www.cs.mcgill.ca/~新生儿/ 相关软件： 水獭;HERBY公司;SETHEO公司;TPTP公司;水瓶座;气象;帕塞农;同行-mcd;SPTHEO公司;布利克塞姆;折扣;EQP公司;鲁奥;章鱼;SicoTHEO公司;SPASS公司;标记器;神经外壳2 引用于： 6文件 全部的 前5名11位作者引用 4 穆罕默德·阿穆拉 2 新生儿，Monroe M。 1 拉纳·阿拉哈萨尼 1 艾哈迈德·阿尔莫纳耶斯 1 拉蒂夫·汉娜（Hanna，Latif A.-M）。 1 尼尔·V·莫里。 1 蒙蒂，新生儿 1 哈泽姆·拉法特 1 埃里克·J·罗森塔尔。 1 王宗燕 1 于庆勋 4篇连载文章中引用 2 国际计算机数学杂志 1 自动推理杂志 1 数学与人工智能年鉴 1 科威特科学与工程杂志 在2个字段中引用 6 计算机科学（68至XX） 1 数学逻辑和基础（03-XX） 按年份列出的引文