×

找到5个软件包（结果1-5）

引文 按字母顺序

演示

10篇文献引用(2007–2023)
软件作者： 扬·范·埃伊克
相关软件： SMCDEL公司；MCK；MCMAS…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）

恰当的

引用于3份文件(2009–2018)
软件作者： Carro，M.和Hermenegildo，M.V。
相关软件： Oz Explorer；彗星；OPL…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）

德摩尼克

1份文件引用(2015)
软件作者： 萨姆森·艾布拉姆斯基；多米尼克·霍斯曼
相关软件： –
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）…

边缘

1份文件引用(2010)
软件作者： Paulish，F.N。；蒂希，W.F。
相关软件： 里吉；SQuAVisiT；再见…
主要字段： 计算机科学（68-XX）

VizAR公司

1份文件引用（2023年）
软件作者： Jakubův，Jan；塞萨里·卡利西克
相关软件： IDV；校对工具；米扎尔
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

全部的 前3名

主字段