中文版 | English

在结果中检索

CSpace

浏览/检索结果: 共3条，第1-3条 帮助

已选(0)清除 条数/页：   排序方式：
Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 3, 页码: 13
作者:  Cao, Cungen;  Hu, Lanxi;  Sui, Yuefei
收藏  |  浏览/下载：28/0  |  提交时间：2021/12/01
three-valued logic  multisequent  co-multisequent  monotonicity  Gentzen deduction system  
L3-值命题逻辑的R-演算 期刊论文
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者:  曹存根;  胡岚曦;  眭跃飞
收藏  |  浏览/下载：12/0  |  提交时间：2023/12/04
信念修正  R-演算  余矢列式  Gentzen推理系统  非单调性  
SNA技术在机构关系分析中的应用 期刊论文
北京理工大学学报, 2009, 卷号: 000, 期号: 008, 页码: 690
作者:  胡岚曦;  曹存根
收藏  |  浏览/下载：10/0  |  提交时间：2023/12/04
SNA技术  学科特性  机构关系  共现关系