Satisfiability and compactness of NMG-logic system

被引：0

作者：

Zhou, Hong-Jun ^{[1
]}

Wang, Guo-Jun ^{[1
,2
]}

机构：

[1] College of Mathematics and Information Science, Shaanxi Normal University, Xi'an 710062, China

[2] Research Center for Science, Xi'an Jiaotong University, Xi'an 710062, China

来源：

Ruan Jian Xue Bao/Journal of Software | 2009年 / 20卷 / 03期

关键词：

D O I：

10.3724/SP.J.1001.2009.03381

中图分类号：

学科分类号：

摘要：

引用

页码：515 / 523