期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

Horn集的RUE—NRF推理规则下的输入半锁反驳

下载PDF
导出
作者 吴茂康
出处 《上海科技大学学报》 1989年第1期53-58,共6页
关键词 Horn集上 RUF-NRF 输入半锁反驳
分类号 O153 [理学—基础数学]
  • 相关文献

参考文献2

  • 1吴茂康，科学通报，1987年，32卷，8期，628页
  • 2刘叙华，科学通报，1985年，30卷，16期，1201页
上海科技大学学报
1989年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部