中文版 | English

在结果中检索

KMS

浏览/检索结果: 共2条，第1-2条 帮助

已选(0)清除 条数/页：   排序方式：
Making Agents' Abilities Explicit 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 101804-101819
作者:  Yedi Zhang;  Fu Song;  Taolue Chen
Adobe PDF(185Kb)  |  收藏  |  浏览/下载：699/235  |  提交时间：2019/09/10
On temporal logics with data variable quantifications: Decidability and complexity 期刊论文
INFORMATION AND COMPUTATION, 2016, 卷号: 251, 页码: 104-139
作者:  Song, Fu;  Wu, Zhilin
Adobe PDF(1138Kb)  |  收藏  |  浏览/下载：674/1  |  提交时间：2017/07/04
  • 首页
  • 上一页
  • 1
  • 下一页
  • 末页