ETPS公司 162篇文献引用(1986–2022) 软件作者： 彼得·安德鲁斯（Peter Andrews）、马修·毕晓普（Matthew Bishop）、查德·布朗（Chad E.Brown）、苏尼尔·伊萨尔（Sunil Issar）、丹·内史密斯（Dan Nesmith）、弗兰克·普芬宁（Frank Pfenning 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；Brown，Chad E。 相关软件： TPTP；ETPS；HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
凯伊马拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
LEO-II型 52篇文献引用(2008–2021) 软件作者： Benzmüller，C.，Paulson，L.，Theiss，F.，Fietzke，A 相关软件： 沙达拉；TPTP；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
ITSM2000标准 36篇文献引用(2016–2023) 软件作者： 彼得·布罗克韦尔（Peter J.Brockwell）。；理查德·戴维斯（Richard A.Davis）。 相关软件： 其mr；astsa；tscount… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；跟踪器；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CP逻辑 20篇文献引用(2009–2023) 软件作者： Joost Vennekens；马克·德内克（Marc Denecker）；莫里斯·布鲁诺 相关软件： 探测日志；皮塔；棱镜… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
MUltlog公司 20篇文献引用(1996–2023) 软件作者： 格诺·萨尔泽；维也纳多值逻辑小组 相关软件： github；JGXYZ；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
立方厘米（FD） 18篇文献引用(1998–2022) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；维杰·萨拉斯瓦特；伊夫·迪维尔 相关软件： CPLEX；彗星；Choco… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
图菲 14篇文献引用(2013–2022) 软件作者： Feng Niu、Christopher Ré、AnHai Doan、Jude W.Shavlik 相关软件： RockIt；探测日志；PRMLT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
对于TheL 12份文件引用(2002–2021) 软件作者： Vershinin，K.，Paskevich，A。 相关软件： 米扎尔；SAD；定理… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LFLC 2000型 在13份文件中引用(2004–2022) 软件作者： 伊朗空军 相关软件： ETPS；fclust；Juzzy… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
数据日志LITE 9份文件引用(2002–2019) 软件作者： 乔治·戈特洛布（Georg Gottlob）；Erich Grädel；赫尔穆特·维思 相关软件： XPath；Ltur；ComputeTW… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
法律规则ML 5份文件引用(2017–2020) 软件作者： Lam、Ho-Pun；穆斯塔法·哈什米；塔拉，阿山；圭多总督府；莫妮卡·帕尔米拉尼；阿德里安·帕施克（Adrian Paschke）；亚当·怀纳 相关软件： github；精益；逻辑键… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
LogiMOO公司 8份文件引用(1997–2012) 软件作者： 保罗·塔劳（Paul Tarau）；De Bosschere，科恩；达尔，维罗妮卡；斯蒂芬·罗什福特 相关软件： 奥兹；SICStus公司；序言… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FOL配件 7份文件引用(2014–2023) 软件作者： 斯特凡·贝尔霍弗；安德烈亚斯·哈尔克 相关软件： 存档正式证据；Isabelle/HOL；完备性定理… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
NMRDPP公司 7份文件引用(2006–2023) 软件作者： 蒂堡，S。；格雷顿，C。；斯莱尼，J。；价格，D。；卡班扎，F。 相关软件： 图形平面图；CPLEX；观察员… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
FML至HOL 4份文件引用（2013-2021） 软件作者： 克里斯托夫·本兹穆勒；托马斯·拉斯 相关软件： 尼特皮克；TPTP；沙达拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
kP工作台 5份文件引用(2015–2023) 软件作者： Gheorghe，M.、Ipate，F.、Mierla，L.、Konur，S。 相关软件： 自旋蛋白；NuSMV；莫德… 主要字段： 计算机科学（68-XX）
MarCaSPiS公司 5份文件引用(2009–2015) 软件作者： 洛科·德·尼古拉、迭戈·拉泰拉、米歇尔·洛雷蒂、梅克·马西克 相关软件： 奶牛；MoDeST；克莱姆… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）…
普赛克 5份文件引用(2013–2020) 软件作者： 圣菲省格拉汉·伦格兰德 相关软件： 伊莎贝尔；直觉；ILTP… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
StreamQRE（流QRE） 在0个文档中引用 软件作者： 马穆拉斯，K。；拉戈塔曼，M。；阿鲁尔（Alur，R.）。；艾夫斯，Z.G。；南卡罗来纳。 相关软件： LOLA；蒙保利；奈德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TravMC2（移动MC2） 5份文件引用(2016–2020) 软件作者： Robin P.Neatherway，C.-H.Luke Ong 相关软件： ByMC；github；MoCHi… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SLANG（俚语） 3份文件引用(1974–2018) 软件作者： 泰晤士河，J.M。 相关软件： PROSE公司；PADRE2；ADOL-C… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
生物模型分析仪 2份文件引用(2017–2021) 软件作者： 扎拉·艾哈迈德；大卫·本克（David Benque）；谢尔盖·贝雷津（Sergey Berezin）；Dahl，Anna Caroline E。；贾斯敏·费希尔（Jasmin Fisher）；本杰明·霍尔（Benjamin A.Hall）。；萨明·伊斯蒂亚克；杰伊·纳纳瓦蒂；皮特曼，尼尔；梅克Riechert；尼基塔·斯科洛夫 相关软件： Aeon公司；亚特兰蒂斯；Cytoscape.js… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
LogAnswer（日志应答） 2份文件引用（2008年） 软件作者： 乌尔里希·富巴赫；格林纳，因戈；赫尔曼·赫尔比格；比约恩·佩尔泽 相关软件： E-KRHper；WordNet；Abella… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
Symlog公司 3份文件引用（1994年至2019年） 软件作者： 弗雷德里克·波托拉罗。 相关软件： 3TAP；思想者 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…
离合器 2份文件引用(2020–2021) 软件作者： Koustov Sinha、Shagun Sodhani、靳东、Joelle Pineau、William L.Hamilton 相关软件： DeepProbLog；RelNN；NLProlog… 主要字段： 计算机科学（68-XX）
代码BLEU 在0个文档中引用 软件作者： 朔仁、郭大亚、帅路、龙舟、刘淑杰、唐杜宇、内尔·桑德雷森、明舟、安布罗西奥·布兰科、帅马 相关软件： CodeXGLUE；设计；图形代码BERT… 主要字段： ——
深悟空 2份文件引用（2021年-2023年） 软件作者： Cheng，X。；Wang，H。；Hua，J。；Xu，G。；隋，Y。 相关软件： ovAFLow；夹板；布加鲁… 主要字段： 计算机科学（68-XX）
尤奥迪洛斯 2份文件引用(1989–1998) 软件作者： Toshiro Minami；Hajime Sawamura；恭子筑屋 相关软件： HOL；伊莎贝尔 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
FLAR（闪光） 2份文件引用（2008年） 软件作者： 塞耶德·贾瓦德·米拉贝迪尼；穆罕默德·特什内拉布；Shenasa，Mohammad Hassan；阿米尔·马苏德·拉赫曼尼 相关软件： AntHocNet；AntNet公司 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
GLEFatinf公司 2份文件引用(1994–1998) 软件作者： R.Caferra；M.赫敏特 相关软件： TABLEAUX公司；克里普克；数字（amp；N）… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
语言2LTL 2份文件引用(2023) 软件作者： 刘新宇；杨，Z。；Idrees，I。；Liang，S。；肖恩斯坦，B。；Tellex，S.公司。；A.沙阿。 相关软件： OpenAI健身房；AMYTISS公司；深度合成… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
NLProlog（NL序言） 2份文件引用(2021) 软件作者： Leon Weber、Pasquale Minervini、Jannes Münchmeyer、Ulf Leser、Tim Rocktäschel 相关软件： DeepProbLog；TensorLog；PyTorch… 主要字段： 计算机科学（68-XX）
RailCNL公司 1份文件引用(2017) 软件作者： 比约纳尔·卢特伯格（Björnar Luteberget）、约翰·卡米莱里（John J.Camilleri）、克里斯蒂安·约翰森（Christian Johansen）、杰拉尔多·施奈德（Gerardo Schneider） 相关软件： MiniSat；dReal；z3… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
KEIM公司 1份文件引用(2005) 软件作者： Huang，X.、Kerber，M.、Kohlhase，M.，Melis，E.、Nesmith，D.、Richts，J.、Siekmann，J。 相关软件： 欧米茄；狮子座；MKRP公司 主要字段： 计算机科学（68-XX）