×

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

PPT矿工

3份文件引用(2020–2022)
软件作者: 张楠;余斌;丛天;段振华;小帅园
相关软件: 德克萨斯州;代纳明;旋转…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

PPTL_SPIN(PPTL_SPIN)

2份文件引用(2016–2022)
软件作者: 张晓明;段振华;田聪
相关软件: 自旋蛋白;代纳明;德克萨斯州…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

PLSMC公司

1份文件引用(2015)
软件作者: 庞涛;段振华;刘晓芳
相关软件: CUDD;NuSMV公司
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

主字段