AI写作工具
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:doxastic logic:一种新方法
Daniel Rönnedal;
机译:倒数逻辑:一种新方法
机译:PDT逻辑:多智能体系统中信念推理的概率时态逻辑
机译:动态Doxastic和Doxastic Temporal Logics之间的桥梁
机译:经验和逻辑学的形式研究。
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:量化的时间含有横果解的Doxastic Logic
机译:知识与信仰的弱逻辑:雅皮一代的认识与逻辑逻辑。
机译:利用序列解释器方法控制可编程逻辑控制器的逻辑的方法和装置
机译:利用序列解释器方法来控制可编程逻辑控制器的逻辑的方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。