|
已选(0)清除
条数/页： 排序方式： |
| L3-值命题逻辑的R-演算 期刊论文
计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164
作者: 曹存根; 胡岚曦; 眭跃飞
  收藏 | 浏览/下载：6/0 | 提交时间：2023/12/04
信念修正 R-演算 余矢列式 Gentzen推理系统 非单调性 |
| 无权访问的条目 期刊论文
作者: 王石; 吴昱明; 臧良俊; 曹存根
Adobe PDF(277Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2014/07/25 |
| 电影本体的构建与一致性分析 期刊论文
计算机应用, 2014, 卷号: 34.0, 期号: 008, 页码: 2192
作者: 高小龙; 朱信忠; 赵建民; 曹存根; 徐慧英; 吴德
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
电影本体 OWL 推理规则 一致性分析 |
| 逻辑之间的语义忠实语义满翻译 期刊论文
软件学报, 2013, 卷号: 24.0, 期号: 007, 页码: 1626
作者: 申宇铭; 马越; 曹存根; 眭跃飞; 王驹
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
翻译 语义忠实语义满翻译 逻辑同义性 |
| 无权访问的条目 期刊论文
作者: 林乐宇; 刘 磊; 王 石; 郑宇飞; 丰强泽; 曹存根
Adobe PDF(829Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/12 |
| 无权访问的条目 期刊论文
作者: 江峰; 眭跃飞; 曹存根
Adobe PDF(423Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/01/13 |
| 无权访问的条目 期刊论文
作者: 潘 瑜; 曹存根; 眭跃飞
Adobe PDF(410Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/10/13 |
| 无权访问的条目 期刊论文
作者: 张冬蕾; 雍兮; 曹存根
Adobe PDF(452Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/02/02 |
| 无权访问的条目 期刊论文
作者: 潘瑜; 眭跃飞; 岳小莉; 杨垚; 曹存根
Adobe PDF(512Kb) | 收藏 | 浏览/下载：0/0 | 提交时间：2010/02/02 |
| 基于装备水平和知识的空中作战效果分析 期刊论文
火力与指挥控制, 2006, 卷号: 31.0, 期号: 1.0, 页码: 59
作者: 秦前付; 曹存根; 安鹏; 张长流; 陈建林
收藏 | 浏览/下载：5/0 | 提交时间：2023/12/04
装备论证 模型 军事知识 作战效果 作战计划 |
