退出
我的积分:
中文文献批量获取
外文文献批量获取
刘冬宁; 汤庸;
广东工业大学;
计算机学院;
广州;
510006;
华南师范大学;
510631;
智能主体; 信念; 自省; 他省; 认知时态子结构逻辑;
机译:局部公平下的重写公式线性时态逻辑模型检验
机译:时态逻辑模型检查的覆盖率指标
机译:网络分布的非结构化环境中的混合认知/反应智能主体自主路径规划技术,用于强化学习
机译:从认知二元逻辑到认知智能主体
机译:紧张的句子和紧张的信念的时态描述。
机译:纠正:职前教师对实践的一般教学知识的感知价值:与认知信念和原始信念的关系
机译:土耳其语中具有认知价值的时态谓词(从意图到实现)土耳其语中具有认知价值的时态谓词(从意图到实现)
机译:一阶谓词逻辑模型理论及相关时态逻辑
机译:用于设计分布式计算机系统的逻辑模型并根据该逻辑模型部署物理资源的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。