|
已选(0)清除
条数/页： 排序方式：
|
| 不确定型模糊Kripke结构的计算树逻辑模型检测 期刊论文
2018, 卷号: 46, 期号: 1, 页码: 152
作者: 范艳焕[1,2]; 李永明[1]; 潘海玉[1,3]
  收藏 | 浏览/下载：2/0 | 提交时间：2019/12/30
|
| 普莱尔混合时态逻辑的思想基础* 期刊论文
逻辑学研究, 2016, 卷号: 第9卷, 页码: 45-60
作者: 霍书全
收藏 | 浏览/下载：13/0 | 提交时间：2019/04/17
|
| A complete coalition logic of temporal knowledge for multi-agent systems 期刊论文
中国计算机科学前沿(英文版), 2015, 卷号: 第9卷, 页码: 75-86
作者: Qingliang CHEN; Kaile SU; Yong HU; Guiwu HU
收藏 | 浏览/下载：1/0 | 提交时间：2019/03/04
|
| Stit 逻辑的判定问题 学位论文
2015
作者: 张炎
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/05
|
| 基于ATL的公平交换协议的形式化验证 期刊论文
2015, 卷号: 0, 期号: 19, 页码: 32
作者: 李群[1]; 陈清亮[1]
收藏 | 浏览/下载：4/0 | 提交时间：2019/12/10
|
| A complete coalition logic of temporal knowledge for multi-agent systems 期刊论文
2015, 卷号: 9, 期号: 1, 页码: 75
作者: Qingliang CHEN[1]; Kaile SU[2]; Yong HU[3]; Guiwu HU[4]
收藏 | 浏览/下载：13/0 | 提交时间：2019/12/17
|
| 基于关键迹和ASP的CSP模型检测 期刊论文
软件学报, 2015, 卷号: 26, 期号: 10
作者: 翟仲毅; 赵岭忠; 钱俊彦; 郭云川
收藏 | 浏览/下载：1/0 | 提交时间：2019/12/05
|
| 普莱尔早期的时态逻辑思想 期刊论文
重庆理工大学学报(社会科学版), 2014, 卷号: 第28卷, 页码: 22-27
作者: 霍书全
收藏 | 浏览/下载：3/0 | 提交时间：2019/04/17
|
| 间断区间时态逻辑的语义 期刊论文
http://epub.edu.cnki.net/grid2008/brief/detailj.aspx?filename=JSJX612.009&dbname=CJFQ1996, 2012, 2012
张师超，张钹
收藏 | 浏览/下载：1/0 | 提交时间：2017/06/15
|
| 正确性保证的组合服务综合问题复杂度研究 期刊论文
中国科学:信息科学, 2012, 页码: 789-802
作者: 邓婷; 怀进鹏; 沃天宇
收藏 | 浏览/下载：1/0 | 提交时间：2020/01/06
|
