已选(0)清除
条数/页: 排序方式: |
| 具有模态词□φ=□1φ∨□2φ且可靠与完备的公理系统 期刊论文 软件学报, 2015, 卷号: 26.0, 期号: 009, 页码: 2286 作者: 邓少波; 黎敏; 曹存根; 眭跃飞 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 命题模态逻辑 模态词 公理系统 |
| 公式分层的谓词模态逻辑 期刊论文 软件学报, 2014, 卷号: 25.0, 期号: 005, 页码: 1014 作者: 孙梅莹; 邓少波; 陈博; 曹存根; 眭跃飞 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 跨可能世界相等 谓词模态逻辑 可变论域语义 Ⅴ-性质 可靠性 完备性 |
| 逻辑之间的语义忠实语义满翻译 期刊论文 软件学报, 2013, 卷号: 24.0, 期号: 007, 页码: 1626 作者: 申宇铭; 马越; 曹存根; 眭跃飞; 王驹 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 翻译 语义忠实语义满翻译 逻辑同义性 |
| 无权访问的条目 期刊论文 作者: 申宇铭; 马越; 曹存根; 眭跃飞; 王驹 Adobe PDF(402Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/18 |
| 无权访问的条目 期刊论文 作者: 江峰; 眭跃飞; 曹存根 Adobe PDF(423Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/01/13 |
| 无权访问的条目 期刊论文 作者: 潘 瑜; 曹存根; 眭跃飞 Adobe PDF(410Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/10/13 |
| 无权访问的条目 期刊论文 作者: 曹存根; 岳小莉; 眭跃飞 Adobe PDF(169Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/02/02 |
| 无权访问的条目 期刊论文 作者: 潘瑜; 眭跃飞; 岳小莉; 杨垚; 曹存根 Adobe PDF(512Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/02/02 |
| 无权访问的条目 期刊论文 作者: 曾庆田; 眭跃飞; 曹存根 Adobe PDF(241Kb)  |  收藏  |  浏览/下载:0/0  |  提交时间:2010/03/30 |
| 音乐领域本体的建立和分析 期刊论文 计算机科学, 2004, 卷号: 31.0, 期号: 1.0, 页码: 103 作者: 高颖; 曹存根; 眭跃飞 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 一致性 音乐知识系统 知识工程 领域本体 公理 |