×

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

CS-预测

7份文件引用(1988–2002)
软件作者: 河村俊雄;Hayato Ohwada;Fumio沟口
相关软件: Prolog;CiaoPP公司;Ciao…
主要字段: 计算机科学(68-XX)

Nuprl-Light公司

1份文件引用(1997年)
软件作者: 杰森·希基。
相关软件: 剑桥LCF;Nuprl公司;伊莎贝尔
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

筛选结果依据…

主字段