退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:在时间逻辑约束下的多主体持续监视。
Leahy, Kevin.;
Boston University.;
机译:时间逻辑约束下的分布式多代理持久监视 ? ce:sup> ce:cross-参考>
机译:在充电和时间逻辑约束下对无人机的持续监视
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:临时逻辑约束下的分布式多代理持续监测
机译:具有时空约束的多主体非完整系统。
机译:结合多智能体系统和主观逻辑来开发决策支持系统
机译:具有绘图时间逻辑规范的多代理系统的分布式政策合成
机译:具有公平约束的petri网线性时态逻辑性质模型检验。
机译:临时逻辑公式创建支持系统,临时逻辑公式创建支持方法和临时逻辑公式创建支持程序
机译:时间逻辑表达生成装置和时间逻辑表达生成程序
机译:超导逻辑电路设计的计算时间逻辑
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。