中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
机构
采集方式
内容类型
发表日期
学科主题
筛选

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

条数/页： 排序方式：
Monotonic and nonmonotonic gentzen deduction systems for L-3-valued propositional logic 期刊论文  OAI收割
FRONTIERS OF COMPUTER SCIENCE, 2021, 卷号: 15, 期号: 3, 页码: 13
作者:  Cao, Cungen;  Hu, Lanxi;  Sui, Yuefei
  |  收藏  |  浏览/下载：14/0  |  提交时间：2021/12/01
L3-值命题逻辑的R-演算 期刊论文  OAI收割
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者:  曹存根;  胡岚曦;  眭跃飞
  |  收藏  |  浏览/下载：14/0  |  提交时间：2023/12/04
SNA技术在机构关系分析中的应用 期刊论文  OAI收割
北京理工大学学报, 2009, 卷号: 000, 期号: 008, 页码: 690
作者:  胡岚曦;  曹存根
  |  收藏  |  浏览/下载：0/0  |  提交时间：2023/12/04