斯莫德尔斯 引用于231份文件(1999–2022) 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；托米·西尔贾宁 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
ProbLog（问题日志） 119篇文献引用(2007–2023) 软件作者： Joris Renkens；范登·布勒克（Van Den Broeck），盖伊（Guy）；齐格弗里德·尼杰森 相关软件： 棱镜；PITA；CP逻辑… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
炸薯条 86篇文献引用(1989–2024) 软件作者： Dincbas，M。；Simonis，H。；van Hentenryck，P。 相关软件： 奥兹；ILOG时间表；CPLEX… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 核叶；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
序言 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI-预测；芯片… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
Daikon公司 41篇文献引用（2005年至2022年） 软件作者： 迈克尔·D·恩斯特。；Jeff H.Perkins。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
GHC公司 39篇文献引用(1986–2023) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；Kima… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
帕洛 39篇文献引用(1984–2022) 软件作者： 基思·克拉克；史蒂夫·格雷戈里 相关软件： GHC；SICStus公司；平滑… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
LUPS公司 37篇文献引用（1999年至2019年） 软件作者： 何塞·朱利奥·阿尔弗雷斯；佩雷拉，路易斯·莫尼兹；哈利娜·普尔兹穆森斯卡（Halina Przymusinska）；Przymusinski，Teodor C。 相关软件： XSB；平滑；EVOLP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
CoALP公司 25篇文献引用(2011–2023) 软件作者： 叶卡捷琳娜·科门丹茨卡亚；权力，约翰；马丁·施密特 相关软件： CoCaml公司；coFJ；ProbLog… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；范畴理论；同调代数（18-XX）…
PITA公司 24篇文献引用（2010年-2023年） 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： ProbLog；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
B-序言 18篇文献引用(2001–2022) 软件作者： Afany软件 相关软件： XSB；YAP-Prolog；SICStus… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
GASP公司 18篇文献引用(2008–2022) 软件作者： 亚历山德罗·达尔·帕鲁；阿戈斯蒂诺·多维尔；恩里科·蓬泰利（Enrico Pontelli）；吉安弗兰科·罗西 相关软件： 克林戈；格林戈；WASP… 主要字段： 计算机科学（68-XX）
FORS公司 15篇文献引用(1997–2023) 软件作者： 卡拉利奇，阿拉姆；伊万·布拉特科 相关软件： UCI-ml；阿列夫；C4.5… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
中国科学院科学院 18篇文献引用(2018–2023) 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；xclingo；…（X）… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
DeepProbLog（深度探测日志） 18篇文献引用(2020–2023) 软件作者： 罗宾·曼哈夫、塞巴斯蒂安·杜曼奇奇、安吉丽卡·金米格、托马斯·德梅斯特、吕克·德雷特 相关软件： ProbLog；NeurASP；亚当… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
HasCasl公司 17篇文献引用(2002–2015) 软件作者： Lutz Schr“oder；Till Mossakowski 相关软件： CASL；哈斯克尔；赫茨… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；伊安尼，乔瓦姆巴蒂斯塔 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
FPROLOG公司 13份文件引用(1985–2023) 软件作者： 马丁，T.P。；鲍德温，J.F。；B.W.皮尔斯沃思。 相关软件： FRIL；Ciao；BousiProlog… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；统计学（62-XX）…
Qu-Prolog公司 12份文件引用(1992–2006) 软件作者： 基思·克拉克；彼得·罗宾逊（Peter J.Robinson）。；理查德·黑根 相关软件： Ergo 6；KQML；莱拉… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
红衣主教 10篇文献引用（2007-2020） 软件作者： 弗朗西斯科·阿泽夫多 相关软件： CPGraph；Z/EVES；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
国内流离失所者3 9份文件引用(2015–2020) 软件作者： 莫里斯·布鲁诺；亨德里克·布洛克（Hendrik Blockeel）；博加特，巴特；De Cat，Broes；德普特（De Pooter，Stef）；约阿希姆·扬森；安东尼·拉巴雷；拉蒙，简；马克·德内克（Marc Denecker）；四川省韦尔市 相关软件： 卡环；WASP；DLV… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
JSetL公司 4份文件引用(2009–2021) 软件作者： 安德烈亚·福斯（Andrea Fois）、吉安弗兰科·罗西（Gianfranco Rossi）、伊丽莎白·波罗（Elisabetta Poleo）等 相关软件： Z；SETL；ProB… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
cplint（cplint） 7份文件引用(2017–2022) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；朱塞佩·科塔；埃琳娜·贝洛迪；里卡多·泽斯 相关软件： ProbLog；SWI-预测；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
霍恩洛格 6篇文献引用(1987–1993) 软件作者： 让·盖利埃（Jean H.Gallier）。；斯坦·拉茨 相关软件： 勒图尔 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
牛顿 5份文件引用(1997–2013) 软件作者： 范·亨特利克（Van Hentenryck），帕斯卡（Pascal）；劳伦特·米歇尔（Laurent Michel）；F.本哈莫。 相关软件： 太阳神；PASCAL-XSC；COMET… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
Rely公司 5份文件引用(2018–2022) 软件作者： M.Carbin、S.Misailovic、M.Rinard 相关软件： 胡迪尼；APL；VeriFast… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TCHR公司 4份文件引用(2008–2019) 软件作者： 汤姆·施里杰弗斯（Tom Schrijvers）；Bart Demoen；大卫·沃伦。 相关软件： XSB；炸薯条；SWI-预测… 主要字段： 计算机科学（68-XX）；经典热力学，传热（80-XX）
壁龛 4份文件引用(2018–2021) 软件作者： 卡洛斯·奥拉特（Carlos Olarte）；伊莱恩·皮门特尔（Elaine Pimentel）；卡米洛·鲁埃达 相关软件： 奎珀；混合的；Coq… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
埃林戈 4份文件引用(2020–2022) 软件作者： 佩德罗·卡巴拉尔；豪尔赫·范丁诺；哈维尔·加里亚（Javier Garea）；哈维尔·罗梅罗；托尔斯滕·绍布 相关软件： 克林戈；出售；htd… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PFLP公司 3份文件引用(2020–2022) 软件作者： 桑德拉·戴卢斯（Sandra Dylus）、扬·克里斯蒂安森（Jan Christiansen）、芬兰·蒂根（Finn Teegen） 相关软件： 教会；轻松检查；瑞士… 主要字段： 计算机科学（68-XX）
DWAM公司 3份文件引用(2002–2003) 软件作者： Rajasekar，A.和Yusuf，H 相关软件： SATCHMOREBID；DCTP；I-SATCHMO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
GLIMPSE公司 2份文件引用(1992–2004) 软件作者： 大卫·E·沃尔斯滕霍尔姆（David E.Wolstenholme）；卡尔·M·奥布莱恩（Carl M.O'Brien）；约翰·内尔德 相关软件： GLIM；税务；GenStat公司 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
ICOT公司 2份文件引用(1998–2002) 软件作者： Yang，Hyung Jeong；Yang，Jae Dong；金永浩（Kim，Yeongho） 相关软件： —— 主要字段： 计算机科学（68-XX）
LPaaS公司 2份文件引用(2018–2022) 软件作者： 罗伯塔·卡莱加里；Enrico Denti；Mariani，Stefano；安德烈亚·奥米西尼 相关软件： B-Prolog；SICStus公司；再见… 主要字段： 计算机科学（68-XX）
2百万吨 2份文件引用(2022) 软件作者： Giovanni Ciatto、Roberta Calegari、Andrea Omicini 相关软件： Prolog；SWI-预测；重新规范… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
数据娱乐 2份文件引用(2016–2022) 软件作者： 迈克尔·阿恩特泽尼乌斯（Michael Arntzenius）；尼拉坎坦·R·克里希纳斯瓦米。 相关软件： 汞；哈斯克尔；夏普… 主要字段： 计算机科学（68-XX）
快速 2份文件引用(2020–2023) 软件作者： 朱利安·伊兰佐，帕斯夸尔；莫雷诺、吉纳斯；何塞·安东尼奥·里亚扎 相关软件： BousiProlog；FRIL；XPath… 主要字段： 计算机科学（68-XX）
抓取器 引用于1份文件(2009) 软件作者： R.D.Viegas；F.A.阿泽夫多 相关软件： CPGraph；CaSPER；红衣主教 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
在线SPARC 2份文件引用(2019) 软件作者： Elias Marcopoulos；张元林 相关软件： 海狮；卡拉；天基信息平台… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；数学教育（97-XX）
真实的 2份文件引用(2016–2019) 软件作者： 尼科斯·安杰洛普洛斯；阿卜杜拉，萨梅尔；乔治·贾马斯 相关软件： 字符串；原苏铁岩；SWI-预测… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
VeriFly公司 2份文件引用(2021–2022) 软件作者： Sanchez-Ordaz，Miguel A。；伊莎贝尔·加西亚·孔特雷拉斯（Isabel Garcia-Contreras）；维克托·佩雷斯（Victor Perez）；JoséF.Morales。；佩德罗·洛佩兹·加西亚；曼努埃尔五世（Manuel V.Hermenegildo）。 相关软件： 汞；CiaoPP；再见… 主要字段： 计算机科学（68-XX）
符号DNN-Tuner 引用于1份文件(2022) 软件作者： 米歇尔·弗拉卡罗利；伊芙琳娜·拉姆；法布里西奥·里古齐 相关软件： PRMLT；ProxylessNAS；DARTS… 主要字段： 计算机科学（68-XX）
VisAll公司 引用于1份文件(1998) 软件作者： 丰塞卡，努诺；桑托斯·科斯塔（Santos Costa），V’{i}tor；德卡斯特罗·杜特拉 相关软件： —— 主要字段： 计算机科学（68-XX）
xASP（xASP） 引用于1份文件(2022) 软件作者： Trieu、Ly-Ly；Tran Cao Son；马塞洛·巴尔杜奇尼 相关软件： 中国科学院科学院；DiscASP；xclingo公司 主要字段： 计算机科学（68-XX）
吉莉安 在0个文档中引用 软件作者： 何塞·弗拉戈索·桑托斯（JoséFragoso Santos）、彼得·马克西莫维奇（Petar Maksimović）、萨沙·埃利·阿永（Sacha-E lie Ayoun）、菲利普·加德纳（Philippa Gardner） 相关软件： —— 主要字段： ——