CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
Symbolic model checking for discrete real-time systems 期刊论文
2018, 卷号: 61, 期号: 5, 页码: 199
作者:  Xiangyu LUO[1,2];  Lijun WU[3];  Qingliang CHEN[4];  Haibo LI[1];  Lixiao ZHENG[1]
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/13
Principles and Practice of Multi-Agent Systems Preface 期刊论文
2018, 卷号: 158, 期号: 1-3, 页码: V
作者:  Chen, Qingliang[1];  Torroni, Paolo[2];  Villata, Serena[3]
收藏  |  浏览/下载：1/0  |  提交时间：2019/12/23
A first-order coalition logic for BDI-agents 期刊论文
2016, 卷号: 10, 期号: 2, 页码: 233
作者:  Chen, Qingliang[1];  Su, Kaile[1,2];  Sattar, Abdul[2];  Luo, Xiangyu[3];  Chen, Aixiang[4]
收藏  |  浏览/下载：14/0  |  提交时间：2019/12/17
A first-order coalition logic for BDI-agents 期刊论文
2016, 卷号: 0, 期号: 2, 页码: 233
作者:  Qingliang CHEN[1];  Kaile SU[1,2];  Abdul SATTAR[2];  Xiangyu LUO[3];  Aixiang CHEN[4]
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/23
Controlled Synthesis of ZrS2 Mono layer and Few Layers on Hexagonal Boron Nitride 期刊论文
2015, 卷号: 137, 页码: 7051-7054
作者:  Zhang, Mei[1];  Zhu, Yiming[1,2];  Wang, Xinsheng[1];  Feng, Qingliang[1,3];  Qiao, Shanlin[1]
收藏  |  浏览/下载：3/0  |  提交时间：2019/11/30
Controlled Synthesis of ZrS2 Monolayer and Few Layers on Hexagonal Boron Nitride 期刊论文
2015, 卷号: 137, 页码: 7051-7054
作者:  Zhang, Mei[1];  Zhu, Yiming[1,2];  Wang, Xinsheng[1];  Feng, Qingliang[1,3];  Qiao, Shanlin[1]
收藏  |  浏览/下载：5/0  |  提交时间：2019/11/30
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
A complete coalition logic of temporal knowledge for multi-agent systems 期刊论文
2015, 卷号: 9, 期号: 1, 页码: 75
作者:  Chen, Qingliang[1];  Su, Kaile[2];  Hu, Yong[3];  Hu, Guiwu[4]
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/06
Quantified coalition logic for bdi-agents: Completeness and complexity 期刊论文
2014, 卷号: 8862, 页码: 871
作者:  Chen, Qingliang[1]
收藏  |  浏览/下载：8/0  |  提交时间：2019/12/17
Possible mechanism underlying the effect of Heshouwuyin, a tonifying kidney herb, on sperm quality in aging rats 期刊论文
BMC COMPLEMENTARY AND ALTERNATIVE MEDICINE, 2014, 卷号: 14
作者:  Niu, Siyun[1];  Chen, Jingbo[2];  Duan, Fei[3];  Song, Qingliang[4];  Qin, Mingyue[5]
收藏  |  浏览/下载：5/0  |  提交时间：2019/12/21

©版权所有 ©2017 CSpace - Powered by CSpace