×

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

FODD-计划

在15份文件中引用(2008–2022)
软件作者: Joshi,S。;R.卡顿。
相关软件: FluCaP;图形平面图;高尔夫…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

氟氯化钙

11份文件引用(2006–2021)
软件作者: Hölldobler,S。;卡拉巴耶夫,E。;O.斯科沃尔佐娃。
相关软件: FODD-计划;ProbLog;CCalc…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

工控机-4

8份文件引用(2005–2009)
软件作者: 霍夫曼,J。;Edelkamp,S。;蒂博,S。;恩格尔·R。;Liporace,F。;特鲁格,S。
相关软件: 图形平面图;PDDL;萨帕…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

NMRDPP公司

7份文件引用(2006–2023)
软件作者: 蒂博,S。;格雷顿,C。;斯莱尼,J。;价格,D。;卡班扎,F。
相关软件: 图形平面图;CPLEX;观察员…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

筛选结果依据…