退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于一些模态逻辑的简洁性
French Tim; van der Hoek Wiebe; Iliev Petar; Kooi Barteld;
机译:模态逻辑产品。第三部分:模态和时间逻辑的乘积
机译:封面模态的简洁
机译:论联盟的模态逻辑的相对简洁度,交叉路口和量化
机译:有限词的一阶逻辑的表达性和简洁性。
机译:甲磺酸丁二醇酯:简洁疗法的简要评述
机译:在模态逻辑证明模型中检查自然语言的方法和系统
机译:用于移动环境的基于环境演算的模态逻辑
机译:访问控制逻辑的模态和线性技术
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。