QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 限定条件 专题：计算技术研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 不同逻辑间翻译的逻辑性质 期刊论文 计算机学报, 2009, 期号: 第10期, 页码: 2091—2098 作者:  王驹;  申宇铭;  马越;  曹存根;  眭跃飞 收藏  |  浏览/下载：8/0  |  提交时间：2010/10/18 　翻译  语义忠实翻译  语义满翻译  二阶逻辑  一阶逻辑   一阶模态逻辑的语义问题 期刊论文 信息技术快报, 2007, 卷号: 5, 期号: 5, 页码: 34 作者:  眭跃飞;  江峰;  曹存根 收藏  |  浏览/下载：11/0  |  提交时间：2010/01/13 基于LOBA逻辑的言语行为表示 期刊论文 计算机研究与发展, 2007, 期号: 第3期, 页码: 420～426页 作者:  眭跃飞;  潘 瑜 收藏  |  浏览/下载：8/0  |  提交时间：2010/10/13 可信主体  认知过程  言语行为  Loba逻辑   PNAI ：一种新型的叙事与动画智能实验平台 期刊论文 信息技术快报, 2006, 卷号: 4, 期号: 5, 页码: 1 作者:  眭跃飞;  岳小莉;  曹存根 收藏  |  浏览/下载：25/0  |  提交时间：2010/02/02 多主体系统中谎言型言语行为的研究 期刊论文 信息技术快报, 2006, 卷号: 4, 期号: 5, 页码: 25 作者:  杨垚;  岳小莉;  眭跃飞;  潘瑜;  曹存根 收藏  |  浏览/下载：14/0  |  提交时间：2010/02/02 Logical Sentences as the Intent of Concepts 期刊论文 Journal of Computer Science and Technology, 2005, 卷号: 20, 期号: 3, 页码: 338-344 作者:  Yue-Fei Sui;  Yu Sun;  You-Ming Xia 收藏  |  浏览/下载：17/0  |  提交时间：2010/11/03 Context  Concept  Logical Implication  Pragmatical Implication  Enterprise Network  Requirement Analysis  Network Plan  Knowledge Representation  Network Simulation   Web 时代的数学 --- 兼谈 NKIMath 的研究进展 期刊论文 信息技术快报, 2004, 卷号: 2, 期号: 6, 页码: 8 作者:  曾庆田;  曹存根;  眭跃飞 收藏  |  浏览/下载：1/0  |  提交时间：2010/03/30