×

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

ACUOS2号机组

13份文件引用(2014–2022)
软件作者: 马利亚阿尔普特;黛米斯·巴利斯;安吉尔·昆卡-奥尔特加;圣地亚哥埃斯科瓦尔;何塞·梅塞格尔
相关软件: 莫德;莫德-NPA;罗望子…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)

第3章

10篇文献引用(2010年至2020年)
软件作者: 弗朗西斯科·杜兰;何塞·梅塞格尔
相关软件: 莫德;CRC 3;MTT…
主要字段: 数学逻辑与基础(03-XX);一般代数系统(08-XX);计算机科学(68-XX)…

CRC 3号机组

引用于9份文件(2010年至2020年)
软件作者: 弗朗西斯科·杜兰;何塞·梅塞格尔
相关软件: 莫德;MTT;第3章…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

二进制测试

8份文件引用(2010年至2020年)
软件作者: Massouros,Ch.G。;奇图拉斯,中国。
相关软件: 超组测试;Mathematica;组织环境信息系统
主要字段: 阶、格、有序代数结构(06-XX);一般代数系统(08-XX);场论与多项式(12-XX)…

同行-mcd

5份文件引用(1997–2022)
软件作者: 玛丽亚·保拉(Maria Paola Bonacina)
相关软件: 水獭;EQP;VAMPIRE…
主要字段: 计算机科学(68-XX)

4份文件引用(2008–2017)
软件作者: 格雷戈里·杜克(Gregory J.Duck)。;Leslie De Konink;彼得·斯图基(Peter J.Stuckey)。
相关软件: 微量锌;通用电气;G12…
主要字段: 计算机科学(68-XX)

GLINTS公司

4份文件引用(2019–2023)
软件作者: 玛丽亚·阿尔普特(María Alpunte)、安吉尔·昆卡-奥尔加(Angel Cuenca-Ortega)、圣地亚哥·埃斯科瓦尔(Santiago Escobar)、朱莉娅·萨皮尼亚(Julia Sapiña)
相关软件: 莫德;教唆;MTT…
主要字段: 通用代数系统(08-XX);计算机科学(68-XX)

daTac公司

3份文件引用(1998–2010)
软件作者: 劳伦·维格纳龙
相关软件: RSBR_;ElemStatLearn;里奥纳…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

SDAARC公司

2份文件引用(2001–2002)
软件作者: 罗纳德·查尔斯·摩尔
相关软件: ——
主要字段: 计算机科学(68-XX)

eCACTI公司

1份文件引用(2010)
软件作者: M.Mamidipaka、N.Dutt
相关软件: MiBench公司;简单标尺;JECO…
主要字段: 计算机科学(68-XX)

矩阵传感器

2份文件引用(2019–2021)
软件作者: T.V.H.普拉塔梅斯
相关软件: 存档正式证据;Jordan范式;Isabelle/HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);量子理论(81-XX)

筛选结果依据…

全部的 前5名

相关软件