Horn集上的语义归结和调换期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

Horn集上的语义归结和调换

引用本文：	李大法.Horn集上的语义归结和调换[J].华中科技大学学报(自然科学版),1984(2).

作者姓名：	李大法

作者单位：	清华大学

摘要：	本文在两种类型的解释上讨论了R-不可满足Horn子句集合上的语义归结和调换.
本文献已被 CNKI 等数据库收录！