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

验证码:

换一张

忘记密码？记住我

图片搜索

粘贴图片网址

文献类型

发表日期

出处

收录类别

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

帮助

已选(0)清除条数/页：排序方式：
	无权访问的条目期刊论文作者: 申宇铭; 马越; 曹存根; 眭跃飞; 王驹 Adobe PDF(402Kb) \| 收藏 \| 浏览/下载：0/0 \| 提交时间：2010/10/18
	不同逻辑间翻译的逻辑性质期刊论文计算机学报, 2009, 卷号: 000, 期号: 010, 页码: 2091 作者: 申宇铭; 马越; 曹存根; 眭跃飞; 王驹收藏 \| 浏览/下载：5/0 \| 提交时间：2023/12/04 翻译语义忠实翻译语义满翻译二阶逻辑一阶逻辑

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