×

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

ELAN公司

106篇文献引用(1996–2020)
软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe
相关软件: 莫德;OBJ咖啡馆;OBJ3…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

奈亚德

7份文件引用(2017–2022)
软件作者: D.G.Murray、F.McSherry、R.Isaacs、M.Isard、P.Barham、M.Abadi
相关软件: LOLA;哈斯克尔;Apache Spark…
主要字段: 计算机科学(68-XX)

卡拉

3份文件引用(2012–2019)
软件作者: Christian Kloimüllner、Johannes Oetsch、Jörg Pührer、Hans Tompits
相关软件: ASPVIZ;阿司匹林;SeaLion…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)

棒棒糖

5份文件引用(2010–2016)
软件作者: Karl Mazurak;史蒂夫·兹丹塞维奇
相关软件: VeriML;雷卡姆;哈斯克尔…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)

MarCaSPiS公司

5份文件引用(2009–2015)
软件作者: Rocco De Nicola、Diego Latella、Michele Loreti、Mieke Massink
相关软件: 奶牛;MoDeST;科莱姆…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…

筛选结果依据…