退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于正模态逻辑的共济观点
Palmigiano Alessandra;
机译:关于正模态逻辑的统一观点
机译:模态逻辑的合代语义:概述
机译:弱表达的代数模态逻辑的双仿真
机译:方程模态不动点逻辑中特征公式的合并代数视图
机译:关于模态逻辑的不完备性通过二阶逻辑的帐户。
机译:积极心理学和希望作为生活方式医学的治疗遭遇态度:叙述审查
机译:正模态逻辑的结合代数语义
机译:meal机器的代数逻辑与综合
机译:正逻辑元素及其具有正逻辑元素的正逻辑电路
机译:特定于交易策略过程对象的观点的抽象逻辑系统,计算机的中间腿。分离特定逻辑观点的逻辑观点的方法,应用程序编程接口的通用集。在vdeecdeo中提供和从一组输入数据中进行选择,以及。该系统执行针对单个交易事件的特定于一个或多个不同上下文的上下文交易过程准则的处理
机译:用于电子内窥镜的物镜系统,具有正后透镜组,该正后透镜组设置有正透镜单元,负透镜单元和双凸正透镜单元,这些正透镜单元从被摄体观看时按顺序排列
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。