阿贝拉 57篇文献引用(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
非洲渔业协会 37篇文献引用(2009–2023) 软件作者： 彼得罗·巴罗尼；费德里科·塞鲁蒂（Federico Cerutti）；马西米利亚诺·贾科明；吉奥瓦尼·吉达 相关软件： 吡格列酮；ConArg2；奥斯卡… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
剑桥LCF 28篇文献引用(1985–2019) 软件作者： 劳伦斯·C·鲍尔森。；康拉德·斯林德 相关软件： Nuprl公司；自动化；LCF… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
CoALP公司 25篇文献引用(2011–2023) 软件作者： 叶卡捷琳娜·科门丹茨卡亚；权力，约翰；马丁·施密特 相关软件： CoCaml公司；coFJ；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
取消QL 10篇文献引用(2006–2018) 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；减少… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
RGITL公司 8份文件引用(2014–2022) 软件作者： 格哈德·谢尔霍恩（Gerhard Schellhorn）；托凡、博格丹；吉登•恩斯特（Ernst，Gidon）；Pf“ahler，Jörg；Reif，Wolfgang 相关软件： 自旋蛋白；KIV；Dafny… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RP-DeLP公司 6篇文献引用(2014–2023) 软件作者： 特蕾莎·阿尔西尼特；拉蒙贝加尔；戈多，Lluís；弗朗西斯科·吉塔特 相关软件： ProbLog；NLTK；编辑… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
未绑定 4份文件引用(2011–2019) 软件作者： 斯蒂芬妮·威里奇；布伦特·A·约基。；蒂姆·谢尔德 相关软件： Isabelle/HOL；Psi-calculi；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
XTL公司 4份文件引用(2003–2017) 软件作者： Garavel，H.和Mateescu，R。 相关软件： CADP；LNT2LOTOS公司；Exp.打开… 主要字段： 计算机科学（68-XX）
美国财务会计准则 引用于2份文件(1998–1999) 软件作者： 拉尔夫·埃布纳（Ralf Ebner）；亚历山大·法芬格 相关软件： 哈斯克尔 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
背包 1份文件引用(2014) 软件作者： 斯科特·基尔帕特里克；德里克·德雷尔（Derek Dreyer）；西蒙·佩顿·琼斯；西蒙·马洛 相关软件： MixML；哈斯克尔 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）