×

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

引文 按字母顺序

Symstra公司

12份文件引用(2005–2021)
软件作者： 谢、陶；达科·马里诺夫；沃尔夫拉姆·舒尔特；大卫·诺金
相关软件： 科拉特；Java PathFinder；DART…
主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）

罗斯特拉

3份文件引用(2005–2008)
软件作者： 陶燮；达科·马里诺夫；大卫·诺特金
相关软件： 科拉特；Symstra公司；TestEra…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段