已选(0)清除
条数/页: 排序方式: |
| L3-值命题逻辑的R-演算 期刊论文 计算机科学, 2020, 卷号: 47.0, 期号: 004, 页码: 164 作者: 曹存根; 胡岚曦; 眭跃飞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:6/0  |  提交时间:2023/12/04 信念修正 R-演算 余矢列式 Gentzen推理系统 非单调性 |
| 基于布尔语义的Gentzen推导模型 期刊论文 计算机科学与探索, 2015, 卷号: 9.0, 期号: 002, 页码: 221 作者: 陈博; 眭跃飞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 布尔代数 命题逻辑 不等式 完备性 |
| 逻辑之间的语义忠实语义满翻译 期刊论文 软件学报, 2013, 卷号: 24.0, 期号: 007, 页码: 1626 作者: 申宇铭; 马越; 曹存根; 眭跃飞; 王驹
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 翻译 语义忠实语义满翻译 逻辑同义性 |
| 基于描述逻辑DL_(RBAC)的RBAC形式化模型 期刊论文 北京航空航天大学学报, 2010, 卷号: 000, 期号: 011, 页码: 1315 作者: 马丽; 马世龙; 眭跃飞
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 访问控制 基于角色的访问控制 描述逻辑 |
| 无权访问的条目 期刊论文 作者: 江峰; 眭跃飞; 曹存根
Adobe PDF(423Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/01/13 |
| 无权访问的条目 期刊论文 作者: 潘 瑜; 曹存根; 眭跃飞
Adobe PDF(410Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/10/13 |
| 无权访问的条目 期刊论文 作者: 潘瑜; 眭跃飞; 岳小莉; 杨垚; 曹存根
Adobe PDF(512Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/02/02 |
| 国家知识基础设施中的数学知识表示 期刊论文 软件学报, 2006, 卷号: 17.0, 期号: 008, 页码: 1731 作者: 曹存根; 眭跃飞; 孙瑜; 曾庆田
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 数学知识 框架 描述逻辑 本体 |
| 无权访问的条目 期刊论文 作者: 曾庆田; 眭跃飞; 曹存根
Adobe PDF(241Kb)  |   收藏  |  浏览/下载:0/0  |  提交时间:2010/03/30 |
| 收敛无穷计算及其应用 期刊论文 北京航空航天大学学报, 2002, 卷号: 28.0, 期号: 005, 页码: 481 作者: 李未; 马世龙; 眭跃飞; 许可
![](/themes/default/image/downing1.png) 收藏  |  浏览/下载:5/0  |  提交时间:2023/12/04 计算 极限 收敛无穷计算 过程模式 无穷序列 |