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

CSpace

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

帮助

已选(0)清除条数/页：排序方式：
	L3-值命题逻辑的R-演算期刊论文计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164 作者: 曹存根; 胡岚曦; 眭跃飞收藏 \| 浏览/下载：6/0 \| 提交时间：2023/12/04 信念修正 R-演算余矢列式 Gentzen推理系统非单调性
	基于布尔语义的Gentzen推导模型期刊论文计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221 作者: 陈博; 眭跃飞收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 布尔代数命题逻辑不等式完备性
	无权访问的条目期刊论文作者: 江峰; 眭跃飞; 曹存根 Adobe PDF(423Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/01/13
	无权访问的条目期刊论文作者: 潘瑜; 曹存根; 眭跃飞 Adobe PDF(410Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/10/13

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