|
已选(0)清除
条数/页： 排序方式：
|
| 谓词抽象研究 学位论文
2014, 2014
魏燕侠
  收藏 | 浏览/下载：7/0 | 提交时间：2016/01/12
|
| S4I2 逻辑的有穷模型性问题 学位论文
2014
作者: 李楷
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| 基于PCL的安全协议匿名性形式化分析方法的研究 学位论文
2014
作者: 韩世宁
收藏 | 浏览/下载：10/0 | 提交时间：2020/11/05
|
| 模态逻辑的模型构造和完备性证明 学位论文
硕士, 北京: 中国科学院研究生院, 2013
李小燕
收藏 | 浏览/下载：3/0 | 提交时间：2013/07/09 |
| 一种基于二重模态算子的神经-符号系统 学位论文
2013, 2013
于洋
收藏 | 浏览/下载：2/0 | 提交时间：2016/01/13
|
| 不动点逻辑中的模型构造与推演系统的完备性 学位论文
博士, 北京: 中国科学院研究生院, 2012
屈楠
收藏 | 浏览/下载：22/0 | 提交时间：2012/07/06
|
| 概率纤维化模态逻辑的计算复杂性研究 学位论文
2012, 2012
吴垠
收藏 | 浏览/下载：2/0 | 提交时间：2016/02/14
|
| 模态逻辑公式为见证的互模拟等价判定 学位论文
硕士, 中国科学院软件研究所: 中国科学院研究生院, 2009
-
收藏 | 浏览/下载：9/0 | 提交时间：2009/06/11
|
| Formalization and specification for controlling process modularity in mobile computing 学位论文
博士, 软件研究所: 中国科学院软件研究所, 2008
Takashi KITAMURA
收藏 | 浏览/下载：8/0 | 提交时间：2011/03/17
|
| 串空间理论及其在安全协议分析中的应用研究 学位论文
2007
作者: 龙士工
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/28
|
