×

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

引文 按字母顺序

圣杯

8份文件引用(2010–2022)
软件作者： R.模拟。
相关软件： CatLog3类；洛利；GitHub…
主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）

PTTP+GLiDeS

2份文件引用(2000–2002)
软件作者： 玛丽安·布朗；杰夫·萨特克利夫
相关软件： 斯科特；TPTP；SETHEO公司
主要字段： 计算机科学（68-XX）

Panoptes公司

1份文件引用(2009)
软件作者： Farmer，William M。；奥林·格里戈洛夫。
相关软件： 凸轮；IDV；IMPS…
主要字段： 计算机科学（68-XX）

筛选结果依据…

全部的 前5名

相关软件

主字段