中国科学院计算技术研究所机构知识库(CSpace): 检索

CSpace

浏览/检索结果: 共4条，第1-4条

帮助

已选(0)清除条数/页：排序方式：
	L3-值命题逻辑的R-演算期刊论文计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164 作者: 曹存根; 胡岚曦; 眭跃飞收藏 \| 浏览/下载：6/0 \| 提交时间：2023/12/04 信念修正 R-演算余矢列式 Gentzen推理系统非单调性
	无权访问的条目期刊论文作者: 王石; 吴昱明; 臧良俊; 曹存根 Adobe PDF(277Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2014/07/25
	无权访问的条目期刊论文作者: 邱莉榕; 史忠植; 林芬; 常亮 Adobe PDF(459Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/10/13
	无权访问的条目期刊论文作者: 李清勇; 胡宏; 施智平; 史忠植 Adobe PDF(353Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/10/22

中国科学院计算技术研究所机构知识库