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

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

帮助

已选(0)清除条数/页：排序方式：
	具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统期刊论文软件学报, 2015, 卷号: 26.0, 期号: 009, 页码: 2286 作者: 邓少波; 黎敏; 曹存根; 眭跃飞收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 命题模态逻辑模态词公理系统
	无权访问的条目学位论文作者: 孙梅莹 Adobe PDF(724Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2014/07/01
	无权访问的条目学位论文作者: 申宇铭 Adobe PDF(1171Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/06/22
	无权访问的条目期刊论文作者: 江峰; 眭跃飞; 曹存根 Adobe PDF(423Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/01/13
	无权访问的条目期刊论文作者: 潘瑜; 曹存根; 眭跃飞 Adobe PDF(410Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/10/13
	无权访问的条目期刊论文作者: 潘瑜; 眭跃飞; 岳小莉; 杨垚; 曹存根 Adobe PDF(512Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/02/02

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