QQ客服 官方微博 反馈留言

浏览/检索结果: 共7条，第1-7条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Model checking cooperative multi-agent systems in BDI logic 期刊论文 journal of information and computational science, 2012 Chen, Qingliang; Su, Kaile; Wu, Lijun; Xu, Zhaocheng 收藏  |  浏览/下载：2/0  |  提交时间：2015/11/13 Modelling simultaneous games in dynamic logic 期刊论文 2010, 2010 van Benthem, Johan; Ghosh, Sujata; Liu, Fenrong 收藏  |  浏览/下载：5/0 A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems 期刊论文 knowledge based systems, 2010 Wu, Lijun; Su, Jinshu; Su, Kaile; Luo, Xiangyu; Yang, Zhihua 收藏  |  浏览/下载：3/0  |  提交时间：2015/11/12 Concurrent dynamic logic  CDKBC proof system  Multi-agent systems   化学深层网集成检索系统ChemDB Portal的优化与扩展 学位论文 硕士, 过程工程研究所: 中国科学院过程工程研究所, 2008 刘增才 收藏  |  浏览/下载：35/0  |  提交时间：2013/09/13 化学数据库  深层网  XML  多线程  元数据  数据字典  Struts2  Spring  Hibernate  ExtJS   model-based testing of concurrent programs with predicate sequencing constraints 期刊论文 World Scientific Publishing Co. Pte Ltd, 2006, 卷号: 16, 期号: 5, 页码: 727-746 Wu Peng; Lin Huimin 收藏  |  浏览/下载：8/0  |  提交时间：2010/08/24 model-based testing  symbolic test generation  predicate sequencing constraints   A concurrent dynamic logic of knowledge, belief and certainty for multi-agent systems 会议论文 Kelowna, BC, Canada, May 25, 2009 - May 27, 2009 作者:  Wu, Lijun[1];  Su, Jinshu[2];  Luo, Xiangyu[3,4];  Yang, Zhihua[5];  Chen, Qingliang[6] 收藏  |  浏览/下载：3/0  |  提交时间：2019/12/06 A Concurrent Dynamic Logic of Knowledge, Belief and Certainty for Multi-agent Systems 会议论文 Kelowna, CANADA, MAY 25-27, 2009 作者:  Wu, Lijun[1];  Su, Jinshu[2];  Luo, Xiangyu[3,4];  Yang, Zhihua[5];  Chen, Qingliang[6] 收藏  |  浏览/下载：0/0  |  提交时间：2019/12/06