退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:多主体证明逻辑中的相互作用和复杂性
Achilleos, Antonios;
City University of New York;
机译:多主体证明逻辑:交流和证据消除
机译:证明逻辑中的复杂性问题
机译:具有互动理由的多算法理由逻辑的TableAux和复杂性界限
机译:有理由的动态认知逻辑。
机译:代谢组学与蛋白质组学和转录组学的矛盾:应对逻辑化学和网络相互作用中日益复杂的问题
机译:交互下多智能体辩护逻辑中的复杂性跳跃 理据
机译:成员函数值的计算电路,决策电路,模糊逻辑处理器,成员函数值的决策方法和模糊逻辑定理方法
机译:具有不断变化的交互图的异构多代理多模态轨迹预测的系统和方法
机译:以用户为中心的平台,通过合作多代理社区进行动态的混合启动交互
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。