×

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

NRL公司

30篇文献引用(1996–2022)
软件作者: 凯瑟琳·梅多斯
相关软件: 莫德;AVISPA;OFMC…
主要字段: (68N17-XX)

TABLEAUX公司

引用于20份文件(1991–2022)
软件作者: 洛朗·卡塔赫
相关软件: 佩斯卡;月球;LoTREC…
主要字段: (03B35-XX);(03-04-XX);(68T15-XX)…

wamcc公司

12份文件引用(1996–2022)
软件作者: 丹尼尔·迪亚兹
相关软件: Prolog;汞;SICStus…
主要字段:

CS-预测

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

普罗托斯-L

7份文件引用(1990–1996)
软件作者: 克里斯托夫·贝尔
相关软件: 序言
主要字段: (68T99-XX);(68N17-XX);(68N20-XX)…

筛选结果依据…

全部的 前5名

相关软件

主字段