CSpace

浏览/检索结果: 共2条,第1-2条 帮助

限定条件        
已选(0)清除 条数/页:   排序方式:
L3-值命题逻辑的R-演算 期刊论文
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者:  曹存根;  胡岚曦;  眭跃飞
收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04
信念修正  R-演算  余矢列式  Gentzen推理系统  非单调性  
SNA技术在机构关系分析中的应用 期刊论文
北京理工大学学报, 2009, 卷号: 000, 期号: 008, 页码: 690
作者:  胡岚曦;  曹存根
收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04
SNA技术  学科特性  机构关系  共现关系