×

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

IF-2.0型

38篇文献引用(2002–2022)
软件作者: 马吕斯·博兹加;苏珊娜·格拉芙;劳伦特·穆尼尔
相关软件: Uppaal;克罗诺斯;旋转…
主要字段: 总体主题;藏品(00-XX);动力系统与遍历理论(37-XX);计算机科学(68-XX)…

LARS公司

23篇文献引用(2016–2022)
软件作者: Beck,H.、Dao-Tran,M.、Eiter,T.、Fink,M。
相关软件: 克林戈;o克林戈;SPARQL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

MMT公司

13份文件引用(2007–2019)
软件作者: Fabricio Chalub;克里斯蒂亚诺·布拉加
相关软件: 莫德;K校准仪;JavaFAN…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

K-Maude公司

11份文件引用(2010–2021)
软件作者: ⑩erbénuţ\355 ;Ņé,Traian Florin;格里高·罗什乌
相关软件: 莫德;K校准仪;K工具…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

KITTeL公司

10篇文献引用(2011–2022)
软件作者: 斯蒂芬·福克(Stephan Falke);卡普尔,迪帕克;卡斯滕·辛兹
相关软件: z3;控制;Yices…
主要字段: 计算机科学(68-XX)

JSAI公司

4份文件引用(2017–2022)
软件作者: 维尼斯·卡西亚普、凯尔·杜威、伊桑·库夫纳、约翰·瓦格纳、凯文·吉本斯、约翰·萨拉西诺、本·维德曼、本·哈德科夫
相关软件: JavaScript;幻影;诺恩…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

距离-弧度

5份文件引用(2011–2015)
软件作者: 穆萨布·阿尔图尔基;何塞·梅塞盖尔
相关软件: 莫德;爪哇风扇;Java+ITP…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

莱姆

4份文件引用(2011–2021)
软件作者: 多米尼克·P·穆利根。;斯科特·欧文斯;凯瑟琳·格雷(Kathryn E.Gray)。;汤姆·里奇;彼得·休厄尔
相关软件: Isabelle/HOL;Coq;ACL2…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

CSSim公司

4份文件引用(2007–2009)
软件作者: 菲利普·布鲁克。;理查德·佩奇(Richard F.Paige)。;杰里米·雅各布。
相关软件: 埃菲尔;独家新闻;TCOZ…
主要字段: 计算机科学(68-XX)

楔形文字

1份文件引用(2017)
软件作者: Jörgen Brandt;Reisig,Wolfgang;乌尔夫·莱斯
相关软件: PRMLT;蜂巢;火花…
主要字段: 计算机科学(68-XX)

双亲

在0个文档中引用
软件作者: 王珂(Ke Wang)
相关软件: 深度修复;sk_p;MOOC…
主要字段:

克托伊莎贝尔

1份文件引用(2021)
软件作者: 李,李毅;埃尔萨·甘特。
相关软件: 莫德;Isabelle/HOL;LambdaMu-calculus…
主要字段: 计算机科学(68-XX)

PLBART公司

在0个文档中引用
软件作者: Wasi Uddin Ahmad、Saikat Chakraborty、Baishaki Ray、Kai-Wei Chang
相关软件: CodeXGLUE;塔伯特;CoTexT…
主要字段:

ProGraML软件

在0个文档中引用
软件作者: Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather
相关软件: 亚当;XLA;TensorFlow…
主要字段:

筛选结果依据…

全部的 前5名

相关软件