赛车手 53篇文献引用(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
QUBE公司 26篇文献引用(2001–2018) 软件作者： 恩里科·金奇利亚（Enrico Giunchiglia）；马西莫·纳里扎诺；阿曼多·塔切拉 相关软件： QuBE++；鹌鹑；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）…
HYPROLOG公司 15篇文献引用(2005–2022) 软件作者： 克里斯蒂安森（Christiansen），亨宁（Henning）；维罗妮卡·达尔 相关软件： 平滑；SCIFF；棱镜… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
枸杞 14篇文献引用(1995–2013) 软件作者： 布鲁诺·巴赫伯格、约阿希姆·普法尔兹格拉夫、卡雷尔·斯托克曼、沃尔夫冈·盖尔克、维奥里卡·索夫罗尼 相关软件： 枫树；6月2日；BVPh… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
瑞士法郎 4份文件引用（2002年至2018年） 软件作者： Christian Holzbaur、Tom Schrijvers、Tom Schrijves 相关软件： 哈斯克尔；SCIFF；ACORDA… 主要字段： 计算机科学（68-XX）
埃尔维拉 2份文件引用(2008–2011) 软件作者： 安德烈斯·卡诺 相关软件： HUGIN公司；内蒂卡；BNT… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
校对作者 在0个文档中引用 软件作者： Oyvind Tafjord、Bhavana Dalvi Mishra、Peter Clark 相关软件： 变压器；规则制定者；BLEURT… 主要字段： 数理逻辑与基础（03-XX）
吉莉安 在0个文档中引用 软件作者： 何塞·弗拉戈索·桑托斯（JoséFragoso Santos）、彼得·马克西莫维奇（Petar Maksimović）、萨沙·埃利·阿永（Sacha-E lie Ayoun）、菲利普·加德纳（Philippa Gardner） 相关软件： – 主要字段： –