- 年份
- 2005(1)
- 2004(1)
- 1997(1)
- 1990(1)
- 更多...
- 核心收录
- 中国科学引文数据库(CSCD)(2)
- 中国人文社会科学引文数据库(CHSSCD)(1)
- 刊名
- 信阳师范学院学报(哲学社会科学版)(1)
- 北京师范大学学报:自然科学版(1)
- 数学杂志(1)
- 苏州科技学院学报(自然科学版)(1)
- 更多...
- 作者单位
- 南开大学(2)
- 武汉水利电力大学(1)
- 语种
- 汉语(4)
- 关键词
- 布尔值模型(4)
- 严格蕴涵系统(2)
- 协调性(2)
- 等价性(2)
- f-伴随(1)
- 二型类(1)
- 序量(1)
- 弱力迫(1)
- 模型论(1)
- 聚合公理系统(1)
- 更多...
- 作者
- 李娜(2)
- 栾静闻(1)
- 沈恩绍(1)
相关度
- 相关度
- 发表时间
每页显示10条
- 每页显示10条
- 每页显示20条
- 每页显示30条
已找到 4 条结果
- 模态系统S4.1的协调性
- 模态系统P1的协调性CHSSCD
- 有限弱力迫的布尔值模型表示CSCD
- 聚合公理系统的布尔值模型CSCD