×

找到15个软件包(结果1-15)

OMRS公司

39篇文献引用(1995–2009)
软件作者: 亚历山德罗·阿曼多;Michael Kohlhase;西尔维奥·兰伊斯
相关软件: 分析;定理;PVS…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数论(11-XX)…

KQML公司

16篇文献引用(1996–2019)
软件作者: 蒂姆·菲宁(Tim Finin)、理查德·弗里茨森(Richard Fritzson)、唐纳德·普·麦凯(Donald P McKay)、罗宾·麦康蒂尔(Robin McEntire)
相关软件: 神童;Globus工具包;Qu-Prolog…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

银色

21篇文献引用(2021–2023)
软件作者: 杰弗里·库托;彼得·林达尔(Peter Rindal);斯里尼瓦桑·拉古拉曼
相关软件: 自行车;ABY;McEliece…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

乱涂

16篇文献引用(2015–2022)
软件作者: 吉田,N。;胡,R。;Neykova,R。;Ng、N。
相关软件: SPY;奶牛;JBoss…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

阿克拉

10篇文献引用(2005–2011)
软件作者: 乔瓦尼·佩祖洛(Giovanni Pezzulo);Gianguglielmo·卡尔维
相关软件: 古巴国防部;可可;戴恩…
主要字段: 总体主题;藏品(00-XX);数论(11-XX);场论与多项式(12-XX)…

贾尼

引用于8份文件(2019–2022)
软件作者: Budde,C.E.,Dehnert,C.,Hahn,E.M.,Hartmanns,A.,Junges,S.,Turrini,A。
相关软件: 棱镜;风暴;Uppaal…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

PROCOL公司

7份文件引用(1991–2002)
软件作者: van den Bos,Jan;克里斯·拉法
相关软件: 方面J;匹科拉;JAsCo…
主要字段: 计算机科学(68-XX)

阳极氧化

1份文件引用(2017)
软件作者: Hohenberger,S.、Myers,S.,Pass,R.、Shelat,A。
相关软件: 力比奥;25519版;利盖罗…
主要字段: 量子理论(81-XX);信息与通信理论,电路(94-XX)

数据链路连接器

引用于2份文件(2015–2017)
软件作者: 哈格斯·埃夫拉德
相关软件: MCGP;XTL;LNT2LOTOS…
主要字段: 计算机科学(68-XX)

jsCoq公司

引用于2份文件(2021–2022)
软件作者: 阿里亚斯,E.J.G.,宾,B.,朱弗洛特,P。
相关软件: Mathematica;SMT-RAT;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

Lep-MAP公司

在0个文档中引用
软件作者: Rastas P、Paulin L、Hanski I、Lehtonen R、Auvinen P
相关软件: R;JoinMap;ICIMapping…
主要字段:

qPIPSA公司

1份文件引用(2020)
软件作者: 加杜林,R。;斯坦因,M。;韦德,R。
相关软件: 红色套件;MPBEC公司
主要字段: 数值分析(65-XX)

miRNet(miRNet)

1份文件引用(2018)
软件作者: 雁南扇;建国下
相关软件: 动态记录仪;gplots;阴性…
主要字段: 生物学和其他自然科学(92-XX)

VerChor公司

1份文件引用(2020)
软件作者: Matthias Güdemann、Pascal Poizat、Gwen Salaün、Lina Ye
相关软件:
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

病毒Mentha

1份文件引用(2018)
软件作者: Calderone A、Licata L、Cesareni G
相关软件: 动态记录仪;gplots;阴性…
主要字段: 生物学和其他自然科学(92-XX)

筛选结果依据…

全部的 前5名

相关软件