WSBen公司 1份文件引用(2012年) 软件作者: S.C.哦;D.李 相关软件: SWORD;平面图;Okapi… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融学和其他社会和行为科学(91-XX)
自动同步 3份文件引用(2009–2012) 软件作者: 怀、金鹏;邓婷;李宪贤;杜宗霞;郭慧鹏 相关软件: WSAT;NuSMV;LTSA-WS… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)