×

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

长期平均价格

5份文件引用(2017–2022)
软件作者: Cameron Finucane;港元景;哈达斯·克雷斯·加济特
相关软件: TuLiP;PESSOA;SCOTS…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

BWI罐

2份文件引用(2018–2019)
软件作者: 坎德尔瓦尔、S.张、J.辛纳波夫、M.莱昂内蒂、J.托马森、F.杨、I.戈里、M.斯维特利克、P.坎特、V.利夫施奇茨、J.阿加瓦尔、R.穆尼、P.斯通
相关软件: 人民;风暴;PRISM-games…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);系统论;控制(93-XX)

OpenPHRI公司

1份文件引用(2022)
软件作者: B.纳瓦罗;A.字体;P.Fraisse;G.泊松;A.切鲁比尼
相关软件: ChaLearn;SaDNet公司
主要字段: 系统论;控制(93-XX)

罗博陶

2份文件引用(2003)
软件作者: 奥德·比拉德
相关软件: ——
主要字段: 计算机科学(68-XX)

FAtiMA公司

在0个文档中引用
软件作者: Samuel Mascarenhas、Manuel Guimaráes、Pedro A.Santos、Joáo Dias、Rui Prada、Ana Paiva
相关软件: ——
主要字段: ——

马林巴

1份文件引用(2015)
软件作者: 埃尔南德斯,诺;科尔斯汀·埃德尔(Kerstin Eder);马吉德(Magid)、叶夫根尼(Evgeni);杰苏斯·萨维奇;Rosenblueth,David A。
相关软件: z3;线性方程求解器;哈斯克尔…
主要字段: 数理逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段