2024年12月31日
星期二
|
欢迎来到贵州省图书馆•公共文化服务平台
登录
|
注册
|
进入后台
[
APP下载]
[
APP下载]
扫一扫,既下载
全民阅读
职业技能
专家智库
参考咨询
搜索到
篇“
时态认知逻辑
“的相关文章
资源类型:
全部数字资源类型
期刊文章
政策法规
学位论文
专利
会议论文
标准
专著
科技成果
产品样本
科技报告
排序方式:
相关度排序
被引量排序
时效性降序
时效性升序
相关作者
骆翔宇
作品数:34
被引量:126
H指数:7
供职机构:华侨大学计算机科学与技术学院
研究主题:WEB服务 多智能体系统 时态认知逻辑 WEB服务组合 有界模型检测
苏开乐
作品数:48
被引量:152
H指数:8
供职机构:浙江师范大学数理与信息工程学院
研究主题:开放逻辑 时态认知逻辑 有界模型检测 时态 安全协议
吴立军
作品数:15
被引量:99
H指数:7
供职机构:电子科技大学计算机科学与工程学院
研究主题:形式化方法 时态 时态认知逻辑 EMD 符号模型检测
刘志锋
作品数:37
被引量:69
H指数:4
供职机构:江苏大学计算机科学与通信工程学院
研究主题:状态空间爆炸 隐通道 计算树逻辑 马尔可夫决策过程 操作语义
陈艳
作品数:6
被引量:15
H指数:2
供职机构:桂林电子科技大学计算机科学与工程学院
研究主题:WEB服务 多智能体系统 时态认知逻辑 WEBGIS研究 WEB_SERVICE
用户登录
用户反馈
标题:
*标题长度不超过50
邮箱:
*
反馈意见:
反馈意见字数长度不超过255
验证码:
看不清楚?点击换一张