阿贝拉 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)