|
已选(0)清除
条数/页： 排序方式：
|
| 描述逻辑ELU概念及术语公理集的表达能力刻画 期刊论文
软件学报, 2014
申宇铭; 王驹; 唐素勤
  收藏 | 浏览/下载：3/0 | 提交时间：2015/11/11
|
| 谓词抽象研究 学位论文
2014, 2014
魏燕侠
收藏 | 浏览/下载：7/0 | 提交时间：2016/01/12
|
| 命题模态逻辑的模型构造和完备性证明 期刊论文
计算机应用与软件, 2014, 卷号: 31, 期号: 8, 页码: 9-12,24
柳欣欣; 李小燕
收藏 | 浏览/下载：13/0 | 提交时间：2014/12/16
|
| S4I2 逻辑的有穷模型性问题 学位论文
2014
作者: 李楷
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| 多模态公理化系统的可分离性研究 期刊论文
重庆理工大学学报（社会科学版）, 2014, 期号: 9, 页码: 19-23
作者: 赵贤[1]
收藏 | 浏览/下载：6/0 | 提交时间：2019/12/21
|
| 基于PCL的安全协议匿名性形式化分析方法的研究 学位论文
2014
作者: 韩世宁
收藏 | 浏览/下载：10/0 | 提交时间：2020/11/05
|
