非洲渔业协会 37篇文献引用(2009–2023) 软件作者： 彼得罗·巴罗尼；费德里科·塞鲁蒂；马西米利亚诺·贾科明；吉奥瓦尼·吉达 相关软件： 皮格拉夫；ConArg2；奥斯卡… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ASPARTIX公司 17篇文献引用(2011–2019) 软件作者： Uwe Egly；莎拉·爱丽丝·加格尔（Sarah Alice Gaggl）；斯特凡·沃尔特兰 相关软件： 邓金；MiniSat；CoQuiAAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
崔弟 14篇文献引用(2016–2023) 软件作者： Thimm，M。 相关软件： DiArg；LARS；Clingo… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
卡奈德（Carneades） 9份文件引用(2007–2021) 软件作者： 汤姆·戈登；沃尔顿 相关软件： 钻石；糠；MiniSat… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
钻石 9份文件引用(2015–2021) 软件作者： Ellmauthaler，S。；斯特拉斯，H。 相关软件： 卡奈德；GRAPPA；MiniSat… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
ConArg2公司 8份文件引用(2014–2022) 软件作者： 比斯塔雷利，S。；罗西，F。；F.桑蒂尼。 相关软件： AFRA；MiniSat；邓金… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
CoQuiAAS公司 6篇文献引用(2017–2021) 软件作者： Lagniez，J.M。；Lonca，E。；J.G.梅利。 相关软件： MiniSat；葡萄糖；钻石… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
RP-DeLP公司 6篇文献引用(2014–2023) 软件作者： 阿尔西内特、特蕾莎；拉蒙贝加尔；戈多，Lluís；弗朗西斯科·吉塔特 相关软件： ProbLog；NLTK；编辑… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
邓吉尼 5份文件引用(2009–2019) 软件作者： 南部，M。；弗里斯维克，G。；J.福克斯。 相关软件： ASPARTIX公司；MiniSat；ConArg2… 主要字段： 计算机科学（68-XX）
地理医学 2份文件引用(1997–2000) 软件作者： 卡拉卡皮利迪斯，尼科斯；帕帕迪亚斯、迪米特里斯；托马斯·戈登；汉斯·沃斯 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DiArg公司 2份文件引用(2022–2023) 软件作者： 蒂莫修斯·坎皮克（Timotheus Kampik），多夫·加巴伊（Dov Gabbay） 相关软件： 崔弟 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SMProbLog（SMProb日志） 2份文件引用(2022) 软件作者： Pietro Totis、Angelika Kimmig、Luc De Raedt 相关软件： 克林戈；ProbLog；DeepProbLog… 主要字段： 计算机科学（68-XX）
氩气2P 1份文件引用(2022) 软件作者： 罗伯塔·卡莱加里；安德烈亚·奥米西尼；朱塞佩·皮萨诺；乔瓦尼·萨托 相关软件： 2P-Kt；ConArg2公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ArgQL公司 1份文件引用(2017) 软件作者： Zografistou，Dimitra；弗洛里斯（Flouris），乔戈斯（Giorgos）；普列克索萨基斯，迪米特里斯 相关软件： openCypher；SPARQL公司 主要字段： 计算机科学（68-XX）
Argtools公司 1份文件引用(2017) 软件作者： Samer Nofal、Katie Atkinson、Paul E.Dunne 相关软件： 糠；MiniSat；葡萄糖… 主要字段： 计算机科学（68-XX）
角砾岩 1份文件引用(2020) 软件作者： Sacharny，D。；亨德森，T。；西蒙斯，R。；Mitiche，A.等人。；Welker，T。；X·范。 相关软件： GenPSAT；博客 主要字段： 计算机科学（68-XX）
CEGARTIX公司 1份文件引用(2017) 软件作者： 德沃夏克，W。；Järvisalo，M。；Wallner，J.P。；南卡罗来纳州沃尔特兰 相关软件： 糠；MiniSat；葡萄糖… 主要字段： 计算机科学（68-XX）
dynPARTIX公司 1份文件引用(2017) 软件作者： 格恩瑟·查瓦特；沃尔夫冈·德沃拉克 相关软件： NLTK；编辑；RP-DeLP… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
iArgue公司 1份文件引用（2013年） 软件作者： Bouyias，Y.N.，Demetriadis，S.N.，Tsoukalas，I.A。 相关软件： MiniSat；Potassco公司 主要字段： 计算机科学（68-XX）
预MaxSAT 1份文件引用(2017) 软件作者： 瓦拉提，M。；塞鲁蒂，F。；Faber，W。；Giacomin，M。 相关软件： 糠；MiniSat；葡萄糖… 主要字段： 计算机科学（68-XX）
Web-STAR网站 1份文件引用(2019) 软件作者： 罗德塞努斯，克里斯托斯·T。；米歇尔·洛伊索斯 相关软件： 在线SPARC；SWISH数据实验室；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
FLGUARD公司 在0个文档中引用 软件作者： 蒂恩·杜克·阮（Thien Duc Nguyen）、菲利普·里格（Phillip Rieger）、侯赛因·亚拉梅（Hossein Yalame）、海伦·莫林（Helen Möllering）、侯塞因·费雷杜尼（Hossein-Fereidooni）、塞缪尔·马查尔（Samuel Marchal）、马库斯·米埃蒂宁（Markus Miettinen）、阿扎利亚·米若塞尼（Azalia Mirhoseini）、艾哈迈德·雷扎·萨德吉（Ahmad-Reza Sadeghi）、托马斯·施奈德（Thomas Schneider）、沙扎·泽图尼 相关软件： – 主要字段： –