TABLEAUX公司 引用于20份文件(1991–2022) 软件作者: 洛朗·卡塔赫 相关软件: 佩斯卡;月球;LoTREC… 主要字段: (03B35-XX);(03-04-XX);(68T15-XX)…
CS-预测 7份文件引用(1988–2002) 软件作者: 河村俊雄;Hayato Ohwada;Fumio沟口 相关软件: Prolog公司;CiaoPP公司;Ciao… 主要字段: (68T15-XX)