退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:配方尺寸游戏,用于模态逻辑和μ-微积分
Lauri T Hella; Miikka S Vilander;
机译:用于模态逻辑和μ演算的公式大小游戏
机译:模态Heyting演算:直觉逻辑的保守模态扩展
机译:有限数据树上模态逻辑的后续演算
机译:使用正构造的公式的第一阶逻辑微积分的机器人的行动规划
机译:将模态微积分添加到指令集过程微积分。
机译:关于... ...-Bernstein多项式及其在...中的应用
机译:纠结闭包算子和模态mu-calculus的空间逻辑
机译:用于移动环境的基于环境演算的模态逻辑
机译:基于环境演算的模态逻辑模型检查
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。