旧TNF swMATH ID: 2188 软件作者： 陈阳军 描述： 基于OLDTNF的演绎数据库递归查询评估方法 主页： http://ion.uwinnipeg.ca/~ychen2/journalpapers/science-in-china-2.pdf 关键词： Prolog解释器；演绎数据库 相关软件： 引用于： 1文件 标准条款 1出版物描述软件，包括1出版物以zbMATH为单位 年份 基于OLDTNF的评估方法，用于处理演绎数据库中的递归查询。 Zbl 0916.68033号陈阳军 1998 由1位作者引用 1 陈阳军 连载1篇 1 中国科学。E系列 在1个字段中引用 1 计算机科学（68至XX） 按年份列出的引文